scientific article; zbMATH DE number 1754535

MaRDI QIDQ4534923zbMATH OpenFDO

Authors Reiner Hähnle

Publication date 7 January 2003

zbMATH Keywords

linear integer programs

Mathematics Subject Classification ID

Recommendations

• Many-valued logic and mixed integer programming
• scientific article; zbMATH DE number 2196615
• Short Conjunctive Normal Forms in Finitely Valued Logics
• scientific article; zbMATH DE number 559756
• Finite-valued reductions of infinite-valued logics

Cited in

(8)

• Finite-valued reductions of infinite-valued logics
• Proof search and co-NP completeness for many-valued logics
• Many-valued logic and mixed integer programming
• Computing Minimal Axiomatizations in Godel Propositional Logic
• Short Conjunctive Normal Forms in Finitely Valued Logics
• scientific article; zbMATH DE number 1076963 (Why is no real title available?)
• scientific article; zbMATH DE number 1405671 (Why is no real title available?)
• Formal Proofs for Nonlinear Optimization

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 Q4534923)