FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

Shortcuts: ABCDEHILMOPRSU
A
Artificial Intelligence
automatic algorithm configuration
B
bobs-only
Boolean Satisfiability
C
CDCL
CNF
comparator network
Competition
conflict-driven clause learning
conflict-driven search
constraints solver
crafted benchmarks
cryptographic CNF instances
Cutting planes
D
division
DRAT proofs
E
Erin
Erin Triples
Evaluation
Experiments
H
Hamiltonian cycle
I
Interpretable Machine Learning
L
LFSR
linear algorithm
linear-feedback shift register
M
MaxSAT
meta-data library
O
odd-even network
P
Parallel Processing
parameter optimization
phase saving
Portfolio Solver
problem fingerprinting
Proof checking
proof complexity
Pseudo-Boolean
Pseudo-Boolean Solving
R
resolution
S
SAT
SAT solver
SAT solving
saturation
Scrambling
selection network
solution-based phase saving
Stedman
Stedman Triples
U
Unsatisfiability proof generation