BORA - UiB

Bergen Open Research Archive

Solving Equation Systems by Agreeing and Learning

Bergen Open Research Archive

Show simple item record

dc.contributor.author Schilling, Thorsten Ernst
dc.contributor.author Raddum, Håvard
dc.date.accessioned 2012-11-19T11:55:27Z
dc.date.available 2012-11-19T11:55:27Z
dc.date.issued 2010
dc.identifier.citation Lecture Notes in Computer Science 6087: 151-165 eng
dc.identifier.isbn 978-3-642-13797-6
dc.identifier.uri http://dx.doi.org/10.1007/978-3-642-13797-6_11
dc.identifier.uri http://hdl.handle.net/1956/6194
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.rights Copyright Springer-Verlag Berlin Heidelberg. All rights reserved. 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.type.version acceptedVersion eng


Files in this item

 

This item appears in the following Collection(s)

Show simple item record

Search BORA


Browse

My Account