Compact normal forms in propositional logic and integer programming formulations
- 31 December 1990
- journal article
- Published by Elsevier BV in Computers & Operations Research
- Vol. 17 (3), 309-314
- https://doi.org/10.1016/0305-0548(90)90007-t
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Some results and experiments in programming techniques for propositional logicComputers & Operations Research, 1986
- Future paths for integer programming and links to artificial intelligenceComputers & Operations Research, 1986
- Experimental Results on the New Techniques for Integer Programming FormulationsJournal of the Operational Research Society, 1985
- Modelling with integer variablesPublished by Springer Science and Business Media LLC ,1984