SAT4J during the SAT/PB/MAXSAT competition/evaluations

Subject: SAT4J during the SAT/PB/MAXSAT competition/evaluations
From: Daniel Le Berre <leberre@xxxxxxxxxxxxxxxxxxx>
Date: Mon, 4 Jun 2007 11:47:23 +0200
Dkim-signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer:sender; b=VU7FgoDopbSAt+1VjUYcJSX+7horWiawjBHrvnba1ZNSP9E+H/VC74UbkPTPCr5DKUOISRnZwDMpqGHXVJ6NbF7bxo2ey1f3Od8c8+qVa5/qiTlH6+a6Gy1qm0nj3Ylx7q74Z/6DkHRSKrSRg0TAwHbqGw1ILKOIC+xJxLN63u0=
Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:mime-version:content-transfer-encoding:message-id:content-type:to:from:subject:date:x-mailer:sender; b=KGAzV2su7Z5WK67Yr2dHOoZ/3sg/KR390RewmyDrzhgjrrQaUNTsKG2UwzxU7ks1iPSu2MH8/89E52n+oPxftXGgBKqrlOnSDGnF+kKyBaD6jRBA1EKLhp/iSto9PZfywjkuBu1yUqD8lNZOBlzTEnB0VrSm8FLgz3jnwLpNHMM=

Dear all,

The results on the SAT competition, PB07 and MAXSAT07 evaluations are available.

SAT4J took part to these events with mixed performance:

SAT
http://www.cril.univ-artois.fr/SAT07/results/results.php?idev=10
http://sat07.ecs.soton.ac.uk/slides/sat07-competition.pdf

PB07
http://www.cril.univ-artois.fr/PB07/results/results.php?idev=9
http://www.cril.univ-artois.fr/PB07/pres.pdf

MAXSAT07
http://www.maxsat07.udl.es/ms07-pre.pdf

Cheers,

        Daniel

Date Index

Thread Index

Search OW2 Mail Archive:
Advanced Search - Powered by Google