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\"obner bases.
Author(s) Zengler Christoph, Wolfgang
TypeBook, Chapter in Book, Conference Proceeding
Abstract
ISBN978-3-642-15273-3/pbk
URL http://link.springer.com/chapter/10.1007%2F978-3-642-15274-0_26
LanguageEnglish
Pages293--302
PublisherBerlin: Springer
Year2010
Edition0
Translation No
Refereed No
Webmaster