68 search results - page 1 / 14 » 2006 and 2007 Max-SAT Evaluations: Contributed Instances |
JSAT
2008
13 years 4 months ago
2008
In this technical report we briefly describe the instances submitted to the 2006 and 2007 MaxSAT Evaluations. First, we introduce the instances that can be directly encoded as Max...
JSAT
2008
13 years 4 months ago
2008
We describe the organization and report on the results of the First and Second Max-SAT Evaluations, which were organized as affiliated events of the 2006 and 2007 editions of the ...
JAIR
2007
13 years 4 months ago
2007
Exact Max-SAT solvers, compared with SAT solvers, apply little inference at each node of the proof tree. Commonly used SAT inference rules like unit propagation produce a simpliï¬...
FGR
2008
IEEE
13 years 11 months ago
2008
IEEE
To provide intelligent services in a smart environments it is necessary to acquire information about the room, the people in it and their interactions. This includes, for example,...
DILS
2007
Springer
13 years 11 months ago
2007
Springer
Ontologies are heavily used in life sciences so that there is increasing value to match different ontologies in order to determine related conceptual categories. We propose a simpl...