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

Details:

   
TitleExtending clause learning of SAT solvers with Boolean Gröbner bases
Author(s) Zengler Christoph, Wolfgang Küchlin
TypeBook, Chapter in Book, Conference Proceeding
URL http://springerlink.metapress.com/content/m877j12577u25v35/fulltext.pdf\
LanguageEnglish
SeriesLNCS
Volume6244
Pages293-302
PublisherSpringer-Verlag
AddressBerlin-Heidelberg
Year2010
EditorGerdt, Vladimir P. and Koepf, Wolfram and Mayr, Ernst W. and Vorozhtsov, Evgenii V.
Edition0
Translation No
Refereed No
Webmaster