Blar i Department of Informatics på emneord "SAT-solving"
Viser treff 1-1 av 1
-
Solving Equation Systems by Agreeing and Learning
(Chapter; Peer reviewed, 2010)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 ...