An efficient Nelson-Oppen decision procedure for difference constraints over rationals

MaRDI QIDQ2848687zbMATH OpenFDO

Authors Shuvendu K. Lahiri, Madanlal Musuvathi

Publication date 26 September 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066106000053

Mathematics Subject Classification ID

Mechanization of proofs and logical operations (03B35)

Recommendations

• On Shostak's decision procedure for combinations of theories
• Combining decision procedures.
• scientific article; zbMATH DE number 1140674
• Theory and Applications of Satisfiability Testing
• scientific article; zbMATH DE number 1956606

Cited in

(3)

• Combining decision procedures by (model-)equality propagation
• Combining Decision Procedures by (Model-)Equality Propagation
• A New approach for combining decision procedures for the word problem, and its connection to the Nelson-Oppen combination method

This page was built for publication: An efficient Nelson-Oppen decision procedure for difference constraints over rationals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2848687)