Refining restarts strategies for SAT and UNSAT formulae

TitleRefining restarts strategies for SAT and UNSAT formulae
Publication TypeConference Paper
Year of Publication2012
AuthorsAudemard, G, Simon, L
Conference NameProc. of International Conference on Principles and Practice of Constraint Programming (CP)
Date Publishedoct
Conference LocationQu├ębec City, Canada