Solving Equation Systems by Agreeing and Learning

  • Thorsten Ernst Schilling
  • Håvard Raddum
Conference paper

DOI: 10.1007/978-3-642-13797-6_11

Part of the Lecture Notes in Computer Science book series (LNCS, volume 6087)
Cite this paper as:
Schilling T.E., Raddum H. (2010) Solving Equation Systems by Agreeing and Learning. In: Hasan M.A., Helleseth T. (eds) Arithmetic of Finite Fields. WAIFI 2010. Lecture Notes in Computer Science, vol 6087. Springer, Berlin, Heidelberg

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 multivariate equation system SAT-solving dynamic learning 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Thorsten Ernst Schilling
    • 1
  • Håvard Raddum
    • 1
  1. 1.Selmer Center, University of Bergen 

Personalised recommendations