2 ms·

> 3R3X is solvable in cubic time with Gaussian elimination As explained on Wikipedia [1]. [1] https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#XOR

by tromp 3y ago

> 3R3X is solvable in cubic time with Gaussian elimination As explained on Wikipedia [1]. [1] https://en.wikipedia.org/wiki/Boolean_satisfiability_problem#XOR-satisfiability https://en.wikipedia.org/wiki/Boolean_satisfiability_problem...