Date: 2008-12-16 11:05:58Theoretical 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 AbstraAdd to Reading ListSource URL: tmancini.di.uniroma1.itDownload Document from Source Website File Size: 96,49 KBShare Document on Facebook
|