Modeling and integer programming techniques applied to propositional calculus
- 1 January 1990
- journal article
- Published by Elsevier in Computers & Operations Research
- Vol. 17 (6) , 561-570
- https://doi.org/10.1016/0305-0548(90)90062-c
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- A mathematical programming approach to inference with the capability of implementing default rulesInternational Journal of Man-Machine Studies, 1988
- Generalized resolution and cutting planesAnnals of Operations Research, 1988
- Computation-oriented reductions of predicate to propositional logicDecision Support Systems, 1988
- A quantitative approach to logical inferenceDecision Support Systems, 1988
- A linear expected-time algorithm for deriving all logical conclusions implied by a set of boolean inequalitiesMathematical Programming, 1986
- Some results and experiments in programming techniques for propositional logicComputers & Operations Research, 1986
- Solving 0-1 Integer Programming Problems Arising from Large Scale Planning ModelsOperations Research, 1985
- Solving Large-Scale Zero-One Linear Programming ProblemsOperations Research, 1983
- Technical Note—Converting the 0-1 Polynomial Programming Problem to a 0-1 Linear ProgramOperations Research, 1974
- Further Reduction of Zero-One Polynomial Programming Problems to Zero-One linear Programming ProblemsOperations Research, 1973