47 citations · 160 across the 17 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…