A Multithreaded Vampire with Shared Persistent Grounding.

Michael Rawson Giles Reger

Published in: FMCAD (2021)

Keyphrases

real time
databases
multimedia
special case
decision making
clustering algorithm
case study
database systems
data structure
multi user
mutual exclusion