First Page | Document Content | |
---|---|---|
Date: 2012-12-16 04:54:55Automated 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 2Add to Reading ListSource URL: www.mancoosi.orgDownload Document from Source WebsiteFile Size: 444,28 KBShare Document on Facebook |