scientific article; zbMATH DE number 837781

zbMATH Open0838.03010MaRDI QIDQ4863689FDOQ4863689

Authors: Reiner Hähnle 

Publication date: 27 May 1996

Title of this publication is not available (Why is that?)

Recommendations

• Many-valued logic and mixed integer programming
• scientific article; zbMATH DE number 559756
• Some results and experiments in programming techniques for propositional logic
• Integer programs for logic constraint satisfaction
• scientific article; zbMATH DE number 1189106

zbMATH Keywords

CNF formulasconstraint tableauxTseitin's structure preserving clause form translation

Mathematics Subject Classification ID

Integer programming (90C10) Classical propositional logic (03B05) Many-valued logic (03B50) Mechanization of proofs and logical operations (03B35)

Cited In (2)

• SAT vs. SMV for automatic validation of tabular property of superintuitionistic logics
• Integer programs for logic constraint satisfaction

This page was built for publication:

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