Open AccessA Restriction of Extended Resolution for Clause Learning SAT Solvers
Author(s) -
Gilles Audemard,
George Katsirelos,
Laurent Simon
Publication year - 2010
Publication title -
proceedings of the ... aaai conference on artificial intelligence
Language(s) - English
Resource type - Journals
eISSN - 2374-3468
pISSN - 2159-5399
DOI - 10.1609/aaai.v24i1.7553
Subject(s) - computer science , resolution (logic) , implementation , grasp , solver , conjunctive normal form , extension (predicate logic) , programming language , algorithm , theoretical computer science