Reusing the Assignment Trail in CDCL Solvers

P van der Tak, A Ramos, MJH Heule

Research output: Contribution to journal › Article › Scientific › peer-review

Original language	English
Pages (from-to)	133-138
Number of pages	6
Journal	Journal on Satisfiability, Boolean Modeling and Computation
Volume	7
Publication status	Published - 2011

Keywords

@article{855782d665fe42519b374fd3ed174b66,

title = "Reusing the Assignment Trail in CDCL Solvers",

keywords = "Peer-lijst tijdschrift",

author = "{van der Tak}, P and A Ramos and MJH Heule",

year = "2011",

language = "English",

volume = "7",

pages = "133--138",

journal = "Journal on Satisfiability, Boolean Modeling and Computation",

issn = "1574-0617",

}

TY - JOUR

T1 - Reusing the Assignment Trail in CDCL Solvers

AU - van der Tak, P

AU - Ramos, A

AU - Heule, MJH

PY - 2011

Y1 - 2011

KW - Peer-lijst tijdschrift

UR - http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_11_vanderTak.pdf

M3 - Article

SN - 1574-0617

VL - 7

SP - 133

EP - 138

JO - Journal on Satisfiability, Boolean Modeling and Computation

JF - Journal on Satisfiability, Boolean Modeling and Computation

ER -