Next:
Propositional Logic
Up:
A compendium of NP
Previous:
MINIMUM TRAVEL ROBOT LOCALIZATION
Index
Logic
Logic
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
Miscellaneous
M
AXIMUM
H
ORN
C
ORE
M
AXIMUM
R
ENAMABLE
H
ORN
S
UBFORMULA
Viggo Kann
2000-03-20
