[Termtools] competition report

[Johannes Waldmann]

Dear all,


if you plan to contribute to the termcomp report, then please do so.
The current state (still very rough) is in
http://www.imn.htwk-leipzig.de/~waldmann/draft/projekte/termcomp/report08/paper/
You can get CVS write access, or send text by email to me.


We will move the WST09 deadline by a few days (to April 21)
because of the announced Easychair maintenance downtime.


While browsing for other competition reports, I found this
a very interesting read: http://www.satcompetition.org/2009/
in particular:

* scoring formula (obtained as result of a poll among participants)
* minisat hack track (read their description -
  that's a perfect argument for open source solvers)


Best regards, Johannes.




-------------- next part --------------
A non-text attachment was scrubbed...
Name: signature.asc
Type: application/pgp-signature
Size: 257 bytes
Desc: OpenPGP digital signature
Url : http://lists.lri.fr/pipermail/termtools/attachments/20090416/fae9b965/attachment.pgp