@misc{13595,
  keywords = {agreeing, dynamic learning, multivariate equation system, SAT-solving},
  author = {Thorsten Schilling and H{\r a}vard Raddum},
  title = {Solving Equation Systems by Agreeing and Learning},
  abstract = {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.},
  year = {2010},
  journal = {Third International Workshop on the Arithmetic of Finite Fields, WAIFI 2010},
  volume = {6087},
  pages = {151-165},
  month = {06/2010},
  publisher = {Lecture Notes in Computer Science, Springer Verlag},
  issn = {0302-9743},
  isbn = {978-3-642-13796-9},
  url = {http://link.springer.com/chapter/10.1007/978-3-642-13797-6_11},
  doi = {10.1007/978-3-642-13797-6_11},
}