Title of article
Logic applied to integer programming and integer programming applied to logic
Author/Authors
H. P. Williams، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1995
Pages
12
From page
605
To page
616
Keywords
Fourier-Motzkin elimination , Logical resolution , Logical deduction , Propositional calculus , Satisfiability , 0-1 integer programming
Journal title
European Journal of Operational Research
Serial Year
1995
Journal title
European Journal of Operational Research
Record number
211202
Link To Document