Bergen Open Research Archive

Solving Equation Systems by Agreeing and Learning

Bergen Open Research Archive

Show simple item record Schilling, Thorsten Ernst eng Raddum, Håvard eng 2012-11-19T11:55:27Z 2012-11-19T11:55:27Z 2010 eng
dc.identifier.citation Lecture Notes in Computer Science 6087: 151-165 eng
dc.identifier.isbn 978-3-642-13797-6 eng
dc.description.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. eng
dc.language.iso eng eng
dc.publisher Springer Berlin Heidelberg eng
dc.subject Agreeing eng
dc.subject Multivariate equation system eng
dc.subject SAT-solving eng
dc.subject dynamic learning eng
dc.title Solving Equation Systems by Agreeing and Learning eng
dc.type Peer reviewed eng
dc.type Chapter eng
dc.rights.holder Copyright Springer-Verlag Berlin Heidelberg. All rights reserved.
dc.type.version acceptedVersion eng
bora.peerreviewed Peer reviewed eng
bibo.doi eng

Files in this item


This item appears in the following Collection(s)

Show simple item record

Search BORA


My Account