Date: 2009-04-02 05:06:42Theoretical computer science Mathematics Formal methods Mathematical logic Boolean algebra Boolean satisfiability problem Electronic design automation Logic in computer science Resolution COMPASS/Sample Code BCD | | Branch and Bound for Boolean Optimization and the Generation of Optimality Certificates Javier Larrosa, Robert Nieuwenhuis, Albert Oliveras, Enric Rodr´ıguez-Carbonell? Abstract. We consider optimization problems of thAdd to Reading ListSource URL: www.lsi.upc.eduDownload Document from Source Website File Size: 220,30 KBShare Document on Facebook
|