Publications :: Search

Publication properties
Title:	Algorithms for Maximum Satisfiability using Unsatisfiable Cores.
Rating:	(not rated yet)
Discussion:	0 comments
Date:	2008
Publication type:	Conference paper
Authors:	No. First name Last name Show 1. João P. Marques Silva 2. Jordi Planes
Download (by DOI):	10.1109/DATE.2008.4484715
BibTeX:	conf/date/Marques-SilvaP08
DBLP:	db/conf/date/date2008.html#Marques-SilvaP08
Bookmark:

The following keywords have been assigned to this publication so far. If you have logged in, you can tag this publication with additional keywords.

If you log in you can tag this publication with additional keywords

A publication can refer to another publication (outgoing references) or it can be referred to by other publications (incoming references).

If you log in you can add references to other publications

A publication can be assigned to a conference, a journal or a school.

Conference
Name:	Design, Automation and Test in Europe, DATE 2008, Munich, Germany, March 10-14, 2008 2008
DBLP:	db/conf/date/date2008.html