Talk Author Index

CADE-28: THE 28TH INTERNATIONAL CONFERENCE ON AUTOMATED DEDUCTION

TALK AUTHOR INDEX

Shortcuts: H L O R V

H
Heisinger, Max	The Networked Uncertainty Principle, or How I Stopped Worrying and Love Local Tracing
L
Laarman, Alfons	Parallel Probabilistic Inference
O
Osama, Muhammad	GPU SAT Solving
Ozdemir, Alex	Constraint Solving in the Serverless Cloud
R
Rawson, Michael	Parallel Tricks for Speedy Learned Guidance
Reger, Giles	Hacking Shared Memory Parallelism in Vampire
V
van Dijk, Tom	Demonstrating Work-stealing with Lace and its Application in Sylvan