scientific article; zbMATH DE number 151927

zbMATH Open0765.68031MaRDI QIDQ4032028FDOQ4032028

Authors: Han-Lin Li, Chaochih Yang 

Publication date: 3 May 1993

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

Recommendations

• Modeling and integer programming techniques applied to propositional calculus
• scientific article; zbMATH DE number 1324220
• A new method for knowledge compilation: The achievement by cycle search
• Language generation and recognition over terms
• scientific article; zbMATH DE number 3956470

zbMATH Keywords

integer programmingHorn formulasHorn clausesinference problem in a fragment of first-order logicminimum deduction graph

Mathematics Subject Classification ID

Applications of mathematical programming (90C90) Integer programming (90C10) Database theory (68P15) Subsystems of classical logic (including intuitionistic logic) (03B20)

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