Keyword:XOR-3SAT

Publications
EasyChair Preprint 3343