Next:
LO1 MAXIMUM SATISFIABILITY
Up:
Logic
Previous:
Logic
Propositional Logic
LO1 M
AXIMUM
S
ATISFIABILITY
LO2 M
AXIMUM
K
-S
ATISFIABILITY
LO3 M
INIMUM
K
-S
ATISFIABILITY
LO4 M
AXIMUM
N
OT
-A
LL
-E
QUAL
3-S
ATISFIABILITY
LO5 M
INIMUM
3DNF S
ATISFIABILITY
LO6 M
AXIMUM
D
ISTINGUISHED
O
NES
LO7 M
INIMUM
D
ISTINGUISHED
O
NES
LO8 M
AXIMUM
W
EIGHTED
S
ATISFIABILITY
WITH
B
OUND
LO9 M
AXIMUM
N
UMBER
OF
S
ATISFIABLE
F
ORMULAS
LO10 M
INIMUM
N
UMBER
OF
S
ATISFIABLE
F
ORMULAS
LO11 M
INIMUM
E
QUIVALENCE
D
ELETION
LO12 M
AXIMUM
K
-C
ONSTRAINT
S
ATISFACTION
Viggo Kann
Mon Apr 21 13:07:14 MET DST 1997
