FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
TALK KEYWORD INDEX

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

Shortcuts: ABCFGILMPRST
A
almost-sat
automated theorem proving
B
benchmarking
branching bisimulation
C
clause sharing
concurrency
Concurrent Separation Logic
cube-and-conquer
F
Fixed-Parameter Tractability
G
GPU
I
incremental CDCL
Isabelle
L
Labelled Transition Systems
LLVM
M
max-sat
P
parallel algorithms
Parallel Sorting Algorithms
portfolios
PRAM
R
Refinement
S
SAT solving
strong bisimulation
T
Tableaux