AuthorsT. E. Schilling and H. Raddum
TitleSolving Equation Systems by Agreeing and Learning
Afilliation, Communication Systems
Project(s)Simula UiB
StatusPublished
Publication TypeProceedings, refereed
Year of Publication2010
Conference NameThird International Workshop on the Arithmetic of Finite Fields, WAIFI 2010
Volume6087
Pagination151-165
Date Published06/2010
PublisherLecture Notes in Computer Science, Springer Verlag
ISBN Number978-3-642-13796-9
ISSN Number0302-9743
Keywordsagreeing, 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.

URLhttp://link.springer.com/chapter/10.1007/978-3-642-13797-6_11
DOI10.1007/978-3-642-13797-6_11
Citation Key24089

Contact person