Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:05
TitleGlucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts
Publication TypeConference Paper
Year of Publication2012
AuthorsAudemard, G, Simon, L
Conference NameProc. of International Workshop of Pragmatics of SAT (Affiliated to SAT)
Date PublishedJun
Conference LocationTrento, Italie
URLhttp://hal.inria.fr/hal-00845494