Extensions and Variants of Dalal's Quad Polynomial Fragments of SAT.

Balasim Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sais

Browse the full ICTAI paper archive.