193 search results - page 2 / 39 » sat 2007 |
SAT
2007
Springer
13 years 11 months ago
2007
Springer
SAT
2007
Springer
13 years 11 months ago
2007
Springer
JSAT
2008
13 years 5 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...
SAT
2007
Springer
13 years 11 months ago
2007
Springer
We first define a mapping from CSP to many-valued SAT which allows to solve CSP instances with many-valued SAT solvers. Second, we define a new many-valued resolution rule and p...
SAT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Polynomial interpretations are one of the most popular techniques for automated termination analysis and the search for such interpretations is a main bottleneck in most ...