Keyword:X3SAT

Publications
On the Tractability of Un/Satisfiability Latif Salum EasyChair Preprint 1734