Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleBoolean Gr\"oBner Bases in SAT Solving
Author(s) Zengler Christoph, Wolfgang Küchlin
TypeArticle in Journal
AbstractWe want to incorporate the reasoning power of Boolean Gröbner bases into modern SAT solvers. There are many starting points where to plug in the Gröbner bases engine in the SAT solving process. As a first step we chose the learning part where new consequences (lemmas) of the original formula are deduced. This paper shows first promising results, also published at the CASC 2010 in Armenia [1].
ISSN1932-2240
URL http://doi.acm.org/10.1145/2016567.2016596
LanguageEnglish
JournalACM Commun. Comput. Algebra
Volume45
Number1/2
Pages141--142
PublisherACM
AddressNew York, NY, USA
Year2011
Edition0
Translation No
Refereed No
Webmaster