Prev: Factorization to SAT
Next: The River Jordan Floods Numbers, the leaders are 6 and 283.
From: Thorsten Kiefer on 25 Mar 2010 10:08
Hi,
in addition to my factorization program I released a second converter :

http://www.tokis-edv-service.de/index.php/beispiele/optimal-golomb-ruler-to-sat

The precondition is that you are familiar with the OGR problem.

Best Regards
Thorsten

 | 
Pages: 1
Prev: Factorization to SAT
Next: The River Jordan Floods Numbers, the leaders are 6 and 283.