FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
TALK KEYWORD INDEX

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

A
Algebraic crossover operators
Algebraic evolutionary computation
Answer Set Programming
Automated configuration
B
BDD
C
Case study
CNF configuration
combinatorial search algorithms
Constrained Optimization
Constraint Logic Programming on Finite Domains
Constraint programming
constraint satisfaction
critical complexity region
Curry-Howard isomorphism
Cutting and Packing
D
Declarative Algorithms
G
Genetic algorithms
Greedy Heuristics
Guillotine Constraint
H
Heuristics
hybrid system simulators
L
logic programming
Logic Programming Applications
M
Mixed Integer Linear Programming
N
neighbourhood singleton arc consistency
Non-monotonic Reasoning
O
Optical Networks on Chip
Optimisation
P
Paracoherent Answer Sets
PB constraints
Permutation problems
Planning
precision medicine
premature convergence
propositional implicational intuitionistic logic
Pseudo-Boolean Optimisation
Q
quantum computing
R
Random Algorithms
replaceability
S
SAT encoding
Satisfiability
Scheduling
search
simply typed lambda terms
singleton arc consistency
substitutability
T
theorem proving
type inference and type inhabitation
V
virtual physiological human
W
Wireless Networks