Look-Ahead Based SAT Solvers

MJH Heule, H van Maaren

Research output: Chapter in Book/Conference proceedings/Edited volume › Chapter › Scientific

Keywords

@inbook{7d17e38343a848b4b8995b7b44891f53,

title = "Look-Ahead Based SAT Solvers",

keywords = "Boekdeel internat.wet",

author = "MJH Heule and {van Maaren}, H",

year = "2009",

language = "Undefined/Unknown",

isbn = "978-1-58603-929-5",

pages = "155--184",

editor = "A Biere and MJH Heule and {van Maaren}, H",

booktitle = "Handbook of Satisfiability",

publisher = "IOS Press",

address = "Netherlands",

}