مرکز منطقه ای اطلاع رساني علوم و فناوري - Logic applied to integer programming and integer programming applied to logic

Title of article :

Logic applied to integer programming and integer programming applied to logic

Author/Authors :

H. P. Williams، نويسنده ,

Issue Information :

روزنامه با شماره پیاپی سال 1995

Pages :

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 :