A Restriction of Extended Resolution for Clause Learning SAT Solvers

Submitted by lahdakadmin on Wed, 11/27/2013 - 14:53
TitleA Restriction of Extended Resolution for Clause Learning SAT Solvers
Publication TypeConference Paper
Year of Publication2010
AuthorsSimon, L, Audemard, G, Katsirelos, G
Conference NameProc. of American Association of Artificial Intelligence Conference (AAAI)
Date Publishedjuly
Conference LocationAtlanta United States