GECCO'99
GP operators applied to GAs
D. Vrajitoru
The SAT problem
General form:
exp = (p1
or
p3)
and
(
~
p2
or
p3
or
p4)
and
(p3
or
~
p4
or
~
p1)
individual = (p1, p2, p3, p4) = (0, 0, 1, 0) => exp = true
Evaluation:
val(A1
and
A2
and
... An ) =
mean
(val(A1), val(A2), ... val(An))
val(A1
or
A2
or
... An ) =
max
(val(A1), val(A2), ... val(An))
http://lcvmwww.epfl.ch