[ Home | Articles | Account | People | Projects | FAQ ] Optimal Golomb Rulers
bram: you might be interested in this paper and those referenced by it on using CSP models and search algorithms to solve OGR problems.
Model Checking
raph: I was interested in your reference to model checking. I work on SAT algorithms, and at least for some hardware model checking the state of the art is to encode the BMC problem as a SAT problem and solve that. Have a look at NuSMV for a free model checker that does all sorts of clever stuff.
FOAF updates: Trust rankings are now exported, making the data available to other users and websites. An external FOAF URI has been added, allowing users to link to an additional FOAF file.
Keep up with the latest Advogato features by reading the Advogato status blog.
If you're a C programmer with some spare time, take a look at the mod_virgule project page and help us with one of the tasks on the ToDo list!