Authors | T. E. Schilling and H. Raddum |
Title | Solving Equation Systems by Agreeing and Learning |
Afilliation | , Communication Systems |
Project(s) | Simula UiB |
Status | Published |
Publication Type | Proceedings, refereed |
Year of Publication | 2010 |
Conference Name | Third International Workshop on the Arithmetic of Finite Fields, WAIFI 2010 |
Volume | 6087 |
Pagination | 151-165 |
Date Published | 06/2010 |
Publisher | Lecture Notes in Computer Science, Springer Verlag |
ISBN Number | 978-3-642-13796-9 |
ISSN Number | 0302-9743 |
Keywords | agreeing, dynamic learning, multivariate equation system, SAT-solving |
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. |
URL | http://link.springer.com/chapter/10.1007/978-3-642-13797-6_11 |
DOI | 10.1007/978-3-642-13797-6_11 |
Citation Key | 24089 |