FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
PC ABSTRACTS: KEYWORD INDEX
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 bound techniques
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
Q
Q-Resolution
QBF
Quantified Boolean Formulas
R
read-once branching programs
relative entropy programming
Resolution
S
sums of nonnegative circuit polynomials
sums of squares
Symmetry Rule
W
Witnessing
witnessing theorems