Minimum Satisfiability and its Applications

Submitted by lahdakadmin on Tue, 11/26/2013 - 11:04
TitleMinimum Satisfiability and its Applications
Publication TypeConference Paper
Year of Publication2011
AuthorsSimon, L, Li, CMin, Manya, F, Zhu, Z
Conference NameProc. of International Joint Conference on Artificial Intelligence (IJCAI)
Date Publishedjul
Conference LocationBarcelona, Spain