![Theoretical computer science / Logic in computer science / Mathematics / Maximum satisfiability problem / Boolean satisfiability problem / DPLL algorithm Theoretical computer science / Logic in computer science / Mathematics / Maximum satisfiability problem / Boolean satisfiability problem / DPLL algorithm](https://www.pdfsearch.io/img/99e314327fe26f7e06c6b820c36ef6cb.jpg) 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
|