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 Abstra - Boolean satisfiability problem - Document - PDFSEARCH.IO

First Page		Document Content
Date: 2008-12-16 11:05:58 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 Source URL: tmancini.di.uniroma1.it Download Document from Source Website File Size: 96,49 KB Share Document on Facebook