Cube and Conquer: Guiding CDCL SAT Solvers by Lookaheads

MJH Heule, O Kullmann, S. Wieringa, A Biere

Research output: Chapter in Book/Conference proceedings/Edited volumeConference contributionScientificpeer-review

77 Citations (Scopus)
Original languageEnglish
Title of host publicationHaifa Verification Conference 2011
Editors sn
Place of PublicationBerlin
PublisherSpringer
Pages50-65
Number of pages16
Publication statusPublished - 2012
EventHaifa Verification Conference 2011 - Berlin
Duration: 6 Dec 20118 Dec 2011

Publication series

Name
PublisherSpringer Verlag
NameLecture Notes in Computer Science
Volume7261
ISSN (Print)0302-9743

Conference

ConferenceHaifa Verification Conference 2011
Period6/12/118/12/11

Keywords

  • Conf.proc. > 3 pag

Cite this