Vivek S. Borkar Vijay Chandru Sanjoy K. Mitter Mathematical Programming Embeddings of Logic. 91-106 2002 29 J. Autom. Reasoning 1 db/journals/jar/jar29.html#BorkarCM02