3 search results - page 1 / 1 » Report of the Third QBF Solvers Evaluation |
105
Voted
JSAT
2006
15 years 8 days ago
2006
This paper reports about the 2005 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the third in a series of non-competitive events established with the ai...
90
Voted
SAT
2004
Springer
15 years 5 months ago
2004
Springer
This paper reports about the 2004 comparative evaluation of solvers for quantified Boolean formulas (QBFs), the second in a series of non-competitive events established with the a...
171
click to vote
SAT
2011
Springer
14 years 3 months ago
2011
Springer
Failed literal detection (FL) in SAT is a powerful approach for preprocessing. The basic idea is to assign a variable as assumption. If boolean constraint propagation (BCP) yields ...