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