Keyword:one-in-three SAT

Publications
EasyChair Preprint 1734