Re: Integer Factorization with SAT

cplxphil@xxxxxxxxx wrote:

On Jul 30, 6:15 pm, jacko <jackokr...@xxxxxxxxx> wrote:
On 30 Jul, 03:00, Thorsten Kiefer <webmas...@xxxxxxxxxxxxxx> wrote:

Thorsten Kiefer wrote:
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

you can start it with java -jar SATConverter.jar

What's a SAT?http://mid4th.googlecode.comis i worth converting to a
phone MIDlet?


SAT is a decision problem relevant to complexity theory. I don't
think it would have much of a market, nor would it be terribly useful
on a cell phone.
If you can write a polynomial sat solver, it will have much of a market ;))
Actually that's the point ! I wrote this converter once, because I wanted
to write a good sat solver. And randomly generated sat instances are too
easy to solve. I would roughly guess that you have the same intention ?!?
I have some (stupid???) ideas for a sat solver. If you want, I can share
them with you......

This is a pretty sweet application though. Thanks for making it!
Thanks ;)))

-Phil
-Thorsten
.