Mathematical programming embeddings of logic

DOI10.1023/A:1020521718123zbMath1016.03013OpenAlexW1867198697MaRDI QIDQ1869615

Vijay Chandru, Vivek S. Borkar, Sanjoy K. Mitter

Publication date: 28 April 2003

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1020521718123

zbMATH Keywords

mathematical programmingautomated theorem provingpredicate logicCLP(R)

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Mechanization of proofs and logical operations (03B35)

This page was built for publication: Mathematical programming embeddings of logic