Theory and Applications of Satisfiability Testing

DOI10.1007/B95238MaRDI QIDQ5325883zbMATH OpenOpenAlexDBLPFDO

Authors Daniel Le Berre, Laurent Simon, Armando Tacchella

Publication date 24 July 2009

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b95238

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Report of the third QBF solvers evaluation
• Theory and Applications of Satisfiability Testing
• The seventh QBF solvers evaluation (QBFEVAL'10)
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• Theory and Applications of Satisfiability Testing

Cited in

(19)

• A solver for QBFs in negation normal form
• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• The 2016 and 2017 QBF solvers evaluations (QBFEVAL'16 and QBFEVAL'17)
• An algorithm to evaluate quantified Boolean formulae and its experimental evaluation
• 2QBF: challenges and solutions
• Evaluating and certifying QBFs: a comparison of state-of-the-art tools
• Report of the third QBF solvers evaluation
• Automated benchmarking of incremental SAT and QBF solvers
• Using SAT in QBF
• Twelve years of QBF evaluations: QSAT is PSPACE-hard and it shows
• Bounded semantics
• A complexity perspective on entailment of parameterized linear constraints
• The seventh QBF solvers evaluation (QBFEVAL'10)
• CAQE and QuAbS: Abstraction Based QBF Solvers
• Theory and Applications of Satisfiability Testing
• Theory and Applications of Satisfiability Testing
• Principles and Practice of Constraint Programming – CP 2004
• True crafted formula families for benchmarking quantified satisfiability solvers
• The complexity of pure literal elimination

Describes a project that uses

Uses Software

• Chaff
• Quaffle
• SatEx

This page was built for publication: Theory and Applications of Satisfiability Testing

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5325883)