^I disagree. The system of equations above is a very common SAT-type problem. There’s more to it than a typical SAT problem, but its still primarily testing the ability to solve a system of equations.
^I disagree. The system of equations above is a very common SAT-type problem. There’s more to it than a typical SAT problem, but its still primarily testing the ability to solve a system of equations.