Back to Results
First PageMeta Content
Automated theorem proving / Logic in computer science / Propositional calculus / Unsatisfiable core / Boolean algebra / Resolution / Exponential time hypothesis / Algorithm / Maximum satisfiability problem / Boolean satisfiability problem / DavisPutnam algorithm


On Improving MUS Extraction Algorithms Joao Marques-Silva1,2 and Ines Lynce2 1 2
Add to Reading List

Document Date: 2012-12-16 04:54:55


Open Document

File Size: 444,28 KB

Share Result on Facebook
UPDATE