FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

This page contains an index consisting of author-provided keywords.

Shortcuts: BCDEFHIKLMNOPRSW
B
Binary Encoding
bounded arithmetic
branching programs
C
Cutting planes
D
dual-rail encoding
E
equational theories
expander graphs
F
Frege systems
H
hypercube optimization
I
induction rules
Intuitionistic logic
K
knowledge compilation
L
Lower Bounds
M
MaxSAT resolution
MaxSAT solving
monotone
Monotone complexity
Monotone proofs
N
nonnegativity certificate
O
OBDD
P
parameter-free axioms
polynomial simulation
polynomial upper bounds
proof complexity
propositional model counting
R
read-once branching programs
relative entropy programming
Resolution
S
sums of nonnegative circuit polynomials
sums of squares
W
Witnessing
witnessing theorems