Next:
MAXIMUM SATISFIABILITY
Up:
Logic
Previous:
Logic
 
Index
Propositional Logic
M
AXIMUM
S
ATISFIABILITY
M
AXIMUM
K
-S
ATISFIABILITY
M
INIMUM
K
-S
ATISFIABILITY
M
AXIMUM
N
OT-
A
LL-
E
QUAL 3-
S
ATISFIABILITY
M
INIMUM 3
DNF S
ATISFIABILITY
M
AXIMUM
D
ISTINGUISHED
O
NES
M
INIMUM
D
ISTINGUISHED
O
NES
M
AXIMUM
W
EIGHTED
S
ATISFIABILITY WITH
B
OUND
M
AXIMUM
N
UMBER OF
S
ATISFIABLE
F
ORMULAS
M
INIMUM
N
UMBER OF
S
ATISFIABLE
F
ORMULAS
M
INIMUM
E
QUIVALENCE
D
ELETION
M
AXIMUM
K
-C
ONSTRAINT
S
ATISFACTION
M
INIMUM
L
ENGTH
E
QUIVALENT
F
REGE
P
ROOF
Viggo Kann
2000-03-20