"Searching While Keeping a Trace: The Evolution from Satisfiability to ..."

Adnan Darwiche (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics