Re: Integer Factorization with SAT

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

.

Relevant Pages

  • Re: OFF TOPIC HERE But still: Re: Another "newbie"
    ... Anyonewanna try for the title Just cause you do it once in a blue moon or everyday doesn't mean you WILL get it. ... Count me out as I can't remember all the former titles I have received. ... and I'm not taking the time to hunt em down (anyone wanna do it--go for it-- it might be fun to 'remember' our Titles) ... Kate in MI ...
    (rec.crafts.textiles.quilting)
  • Re: OFF TOPIC HERE But still: Re: Another "newbie"
    ... with maintaining our 'Beggar School promotions' ... What say we have a bit of fun, ... Anyonewanna try for the title (remember it has to be EARNED not just ... Count me out as I can't remember all the former titles I have received. ...
    (rec.crafts.textiles.quilting)
  • Re: John H American flag
    ... Wanna make some noise-really raise my voice ... Is the prerogative to have a little fun ... Oh, oh, oh, go totally crazy-forget I'm a lady ... We're gonna let our hair hang down ...
    (rec.boats)
  • Re: Isnt it love?
    ... >> I just wanna start it up, ride it, have some fun, and keep it close by ... >> when I'm not riding. ...
    (rec.motorcycles.harley)
  • insta: Sixteen Digits
    ... ttto "Girls Just Wanna Have Fun" ... I'm installing a new OS; ...
    (rec.music.filk)