Keyword:XOR-2SAT

Publications
EasyChair Preprint 3343