Publications Login
Home List all
@article{,
	author          = {Peter van der Tak and Antonio Ramos and Marijn J.H. Heule},
	title           = {Reusing the Assignment Trail in CDCL Solvers},
	journal         = {Journal on Satisfiability, Boolean Modeling and Computation},
	year            = {2011},
	volume          = {7},
	pages           = {133-138},
	note            = {system description},
	issn            = {1574-0617},
	url             = {http://jsat.ewi.tudelft.nl/content/volume7/JSAT7_11_vanderTak.pdf},
	project         = {SAT},
	group           = {ALG}
}