A polyhedral projection procedure for Q2SAT

MaRDI QIDQ2741538zbMATH OpenFDO

Authors K. Subramani

Publication date 24 September 2001

zbMATH Keywords

2SAT problemsFourier-Motzkin elimination procedure

Mathematics Subject Classification ID

Combinatorial optimization (90C27)

Recommendations

• scientific article; zbMATH DE number 2090050
• On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries
• Clause elimination for SAT and QSAT
• A satisfiability procedure for quantified Boolean formulae
• Contributions to the theory of practical quantified Boolean formula solving

Cited in

(2)

• On deciding the non‐emptiness of 2SAT polytopes with respect to First Order Queries
• scientific article; zbMATH DE number 2090050 (Why is no real title available?)

This page was built for publication: A polyhedral projection procedure for Q2SAT

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2741538)