FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
algebraic extensions
algebraic proof systems
algorithms
autocorrelation
Automatic Proof checking
Autonomous Driving
B
Boolean polynomials
C
CoCoA and MathSAT
Computer Algebra
Constraint Solving
Constraint Systems
Cylindrical Algebraic Decomposition
D
D-optimaldesigns
Decision Procedures
E
Economic Reasoning
equational constraints
F
factorization
G
Groebner bases
Gröbner Basis
H
Hadamard matrices
I
Incremental
interval arithmetics
interval propagation
K
knot theory
L
linear clauses
logic
M
Maple
Multiplier Verification
N
Natural-style Proofs
non-linear arithmetic
Non-linear Real Arithmetic
P
Polynomial Calculus
Q
quantifier elimination
R
real algebraic geometry
real roots
S
SAT solving
Satisfiability Checking
Satisfiability Modulo Theories
SATsolvers
SMT
SMT Solving
SMTLIB
Symbolic computation
T
Traffic Scenarios