Next:
Automata and Language Theory
Up:
Miscellaneous
Previous:
Miscellaneous
-
I
NSTANCE
:
Set
M
of truth assignments on
n
variables.
-
S
OLUTION
:
A Horn core of
M
, i.e., a subset
such that
M'
is equal to
the set of truth assignments satisfying a Horn boolean formula.
-
M
EASURE
:
The cardinality of the core, i.e.,
|M'|
.
-
Bad News:
Not in A
PX
[
212
].
Viggo Kann
Mon Apr 21 13:07:14 MET DST 1997