Keyword:one-in-three SAT

Papers
EasyChair Preprint no. 1734