Model generation theorem proving with finite interval constraints

DOI10.1007/3-540-44957-4_19MaRDI QIDQ2767061zbMATH OpenFDO

Authors Reiner Hähnle, Ryuzo Hasegawa, Yasuyuki Shirai

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-44957-4_19

Mathematics Subject Classification ID

Recommendations

• A model generation based theorem prover MGTP for first-order logic
• MGTP: a model generation theorem prover. Its advanced features and applications
• Generating relevant models
• Efficient model generation through compilation
• scientific article; zbMATH DE number 1140676

Cited in

(4)

• Formal model-based constraint solving and document generation
• MGTP: a model generation theorem prover. Its advanced features and applications
• A model generation based theorem prover MGTP for first-order logic
• New tableau characterizations for non-clausal regular MinSAT and MaxSAT problems

This page was built for publication: Model generation theorem proving with finite interval constraints

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