Re: Integer Factorization with SAT

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.com is i worth converting to a
phone MIDlet?
.

Relevant Pages

  • Re: Integer Factorization with SAT
    ... I wanna announce my little program, ... reduces the factorization problem into a sat instance. ... What's a SAT?http://mid4th.googlecode.comis i worth converting to a ... phone MIDlet? ...
    (comp.theory)
  • Anything that can cluster text data with minimal or no intervention...
    ... I wanna provide a clustering approach. ... - Easy to fit under Delphi But not Java. ... I found a lot of librarys telling that do clustering but I don't know if that work for search engines... ...
    (borland.public.delphi.thirdpartytools.general)
  • Somebody know a JMeter-like software?
    ... The performace of it, not. ... Is JAVA with all the fears attached. ... If only can replace the GUI side, ... I have not problem if is necesary command line or something like but I don't wanna something complicated... ...
    (borland.public.delphi.non-technical)
  • Re: when to use "new"
    ... It's just an example showing some differences between Java and C++. ... You cannot always avoid pointers in C++. ... class here if I write a createNew() method for it. ... If I wanna just set ...
    (comp.lang.cpp)
  • path to exectuable
    ... Anyone know how to retrieve the absolute path to the currently running ... exectuable from within Java? ... Something like this is what I wanna do.... ...
    (comp.lang.java.help)