Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:03
TitleExperimenting with Small Changes in Conflict-Driven Clause Learning Algorithms
Publication TypeConference Paper
Year of Publication2008
AuthorsAudemard, G, Simon, L
Conference NameProc. of International Conference on Principles and Practice of Constraint Programming (CP)