Keyword:X3SAT

Papers
On the Tractability of Un/Satisfiability Latif Salum EasyChair Preprint no. 1734