Back to Results
First PageMeta Content
Theoretical 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 th
Add to Reading List

Document Date: 2009-04-02 05:06:42


Open Document

File Size: 220,30 KB

Share Result on Facebook
UPDATE