The International SAT Solver Competition

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:05
TitleThe International SAT Solver Competition
Publication TypeJournal Article
Year of Publication2012
AuthorsJarvisalo, M, Le Berre, D, Roussel, O, Simon, L
JournalArtificial Intelligence Magazine
Volume33