43 citations · 92 across the 11 of their papers we have counts for
1 paper · 1 filter
Morteza Ibrahimi, Yash Kanoria, Matt Kraning +1
The XOR-satisfiability (XORSAT) problem requires finding an assignment of n Boolean variables that satisfy m exclusive OR (XOR) clauses, whereby each clause constrains a subset…