Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction

Submitted by lahdakadmin on Tue, 11/26/2013 - 12:48
TitleImproving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction
Publication TypeConference Paper
Year of Publication2013
AuthorsAudemard, G, Lagniez, J-M, Simon, L
Conference NameProc. of International Conference on Theory and Applications of Satisfiability Testing (SAT)
Date PublishedJun
Conference LocationHelsinki, Finlande
URLhttp://hal.inria.fr/hal-00845496