Title of article
A polyhedral projection procedure for Q2SAT
Author/Authors
Subramani، نويسنده , , K.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2001
Pages
7
From page
369
To page
375
Abstract
In this paper, we show that the Fourier-Motzkin elimination procedure can be used to solve instances of Quantified 2SAT problems without resorting to modulo arithmetic or congruences. The closure of 2SAT formulae under the elimination procedure allows us to conclude that integer programs which are similarly closed can be solved in polynomial time, using this procedure.
Journal title
Electronic Notes in Discrete Mathematics
Serial Year
2001
Journal title
Electronic Notes in Discrete Mathematics
Record number
1453257
Link To Document