"Mathematical Programming Embeddings of Logic."

Vivek S. Borkar, Vijay Chandru, Sanjoy K. Mitter (2002)
a service of Schloss Dagstuhl - Leibniz Center for Informatics