Re: C-equivalence aware hash function

From: Francois Grieu (fgrieu_at_francenet.fr)
Date: 11/29/05 

Date: Tue, 29 Nov 2005 05:26:41 +0100

Jean-Luc Cooke <jlcooke@engsoc.org> wrote:

> I'm very curious what the purpose of this C-equivalence is.

As hinted in the first message, an application is to classify
SATisfiability problems expressed in Conjunctive Normal Form,
which has practical applications; and given the current rules,
and that such classification is considered ethical (which is
very debatable), it could help in SAT-Race 2006
http://www.fmv.jku.at/sat-race-2006/rules.html

Oh yes, the C in the title stands for Conjunctive.

   François Grieu