Abstract | ||
---|---|---|
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 International Conference on Theory and Applications of Satisfiability Testing (SAT-2006 and SAT-2007), discuss the insights gained and point out new directions for forthcoming evaluations. The main objectives of both evaluations were assessing the advancements in the field of Max-SAT solvers through a comparison of their performances, identifying successful solving techniques and encouraging researchers to develop new ones, and creating a publicly available collection of challenging Max-SAT benchmarks. |
Year | Venue | Keywords |
---|---|---|
2008 | JSAT | max-sat,benchmarks,weighted max-sat,weighted partial max- sat,solvers,partial max-sat,empirical evaluation,satisfiability,sat solver |
Field | DocType | Volume |
Maximum satisfiability problem,Computer science,Satisfiability,Theoretical computer science | Journal | 4 |
Issue | Citations | PageRank |
2-4 | 35 | 1.70 |
References | Authors | |
18 | 4 |
Name | Order | Citations | PageRank |
---|---|---|---|
Josep Argelich | 1 | 190 | 18.95 |
Chu Min Li | 2 | 1194 | 85.65 |
Felip Manyà | 3 | 787 | 59.52 |
Jordi Planes | 4 | 486 | 31.38 |