Solving Equation Systems by Agreeing and Learning

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

Search form