Encoding Basic Arithmetic Operations for SAT-Solvers
Published in Frontiers in artificial intelligence and applications • Jan 1, 2010
NobleIDNI7P38W55R58S05
Authors:,,
Béjar Ramón
Fernández Cèsar
Francesc Guitart
Abstract
In this paper we start an investigation to check the best we can do with SAT encodings for solving two important hard arithmetic problems, integer factorization and discrete logarithm. Given the current success of using SAT encodings for solving problems with linear arithmetic constraints, studying ...
Finding related papers...
Discussions
(0)No comments yet
Be the first to share your thoughts!