Optimization Methods in Logic

John N. Hooker, Yves Crama, Peter L. Hammer. Optimization Methods in Logic. In Yves Crama, Peter L. Hammer, editors, Boolean Models and Methods in Mathematics, Computer Science, and Engineering. pages 160-194, Cambridge University Press, 2010. [doi]

Abstract

Abstract is missing.