56 citations · 70 across the 4 of their papers we have counts for
1 paper · 1 filter
N. Creignou, H. Daude, U. Egly
The QXORSAT problem is the quantified version of the satisfiability problem XORSAT in which the connective exclusive-or is used instead of the usual or. We study the phase transiti…