About Some UP-Based Polynomial Fragments of SAT.

Mohammad Al-Saedi, ric Grgoire, Bertrand Mazure, Lakhdar Sas

Browse the full ISAIM paper archive.