Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Mathematics / Maximum satisfiability problem / Boolean satisfiability problem / DPLL algorithm


Solving Satisfiability Problems with Qualitative Preferences: a New Approach Emanuele Di Rosa, Enrico Giunchiglia, and Marco Maratea DIST - Universit`a di Genova, Italy. email:{emanuele,enrico,marco}@dist.unige.it Abstra
Add to Reading List

Document Date: 2008-12-16 11:05:58


Open Document

File Size: 96,49 KB

Share Result on Facebook