Re: C-equivalence aware hash function

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
Received on Sat Dec 3 04:20:17 2005