Re: Integer Factorization with SAT

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.

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

-Phil
.

Relevant Pages

  • Re: Integer Factorization with SAT
    ... reduces the factorization problem into a sat instance. ... What's a SAT?http://mid4th.googlecode.comis i worth converting to a ... phone MIDlet? ... I have some ideas for a sat solver. ...
    (comp.theory)
  • Re: Integer Factorization with SAT
    ... I wanna announce my little program, ... reduces the factorization problem into a sat instance. ... you can start it with java -jar SATConverter.jar ... phone MIDlet? ...
    (comp.theory)
  • Re: Integer Factorization with SAT
    ... Thorsten Kiefer wrote: ... I wanna announce my little program, ... reduces the factorization problem into a sat instance. ... Have fun with it!!! ...
    (comp.theory)