Solving Equation Systems by Agreeing and Learning
Original version
https://doi.org/10.1007/978-3-642-13797-6_11Abstract
We study sparse non-linear equation systems defined over a finite field. Representing the equations as symbols and using the Agreeing algorithm we show how to learn and store new knowledge about the system when a guess-and-verify technique is used for solving. Experiments are then presented, showing that our solving algorithm compares favorably to MiniSAT in many instances.