Prev: 562758 Constantly updated Free COmputer and business portal 14
Next: Optimal Golomb Ruler to SAT
From: Thorsten Kiefer on 24 Mar 2010 17:31
Hi,
here you can find my example applet, which reduces the factorization
problem to SAT :

http://tokis-edv-service.de/index.php/beispiele/factorization-to-sat

More reductions, a solver and a result parser will be added.

Best Regards
Thorsten
From: Thorsten Kiefer on 24 Mar 2010 18:43
Am Wed, 24 Mar 2010 22:31:04 +0100 schrieb Thorsten Kiefer:

> Hi,
> here you can find my example applet, which reduces the factorization
> problem to SAT :
>
> http://tokis-edv-service.de/index.php/beispiele/factorization-to-sat
>
> More reductions, a solver and a result parser will be added.
>
> Best Regards
> Thorsten

Solver and parser are added now

Thorsten
From: cplxphil on 24 Mar 2010 20:54
Nice program! Are you going to publish the source?

-Phil
From: Thorsten Kiefer on 25 Mar 2010 03:21
Am Wed, 24 Mar 2010 17:54:53 -0700 (PDT) schrieb cplxphil:

> Nice program! Are you going to publish the source?
>
> -Phil

of course !
From: Thorsten Kiefer on 25 Mar 2010 03:26
Am Thu, 25 Mar 2010 08:21:11 +0100 schrieb Thorsten Kiefer:

> Am Wed, 24 Mar 2010 17:54:53 -0700 (PDT) schrieb cplxphil:
>
>> Nice program! Are you going to publish the source?
>>
>> -Phil
>
> of course !

It's on the bottom of the page now.

Thorsten
 |  Next  |  Last
Pages: 1 2
Prev: 562758 Constantly updated Free COmputer and business portal 14
Next: Optimal Golomb Ruler to SAT