Integer Factorization with SAT

From: Thorsten Kiefer <me@xxxxxxxx>
Date: Wed, 30 Jul 2008 03:59:21 +0200

Hi,
I wanna announce my little program, which
reduces the factorization problem into a sat instance.

http://tokisworld.org/sat/SATConverter.jar

Have fun with it !!!

-Thorsten

.

Follow-Ups:
- Re: Integer Factorization with SAT
  - From: Thorsten Kiefer

Prev by Date: Re: Hash/permutation function for object ID creation
Next by Date: Re: Integer Factorization with SAT
Previous by thread: Hash/permutation function for object ID creation
Next by thread: Re: Integer Factorization with SAT
Index(es):
- Date
- Thread