Adaptive Saturation-Based Reasoning.

Alexandre Riazanov Andrei Voronkov

Published in: Ershov Memorial Conference (2001)

Keyphrases

data driven
database
data structure
adaptive algorithms
real time
databases
case study
wide range
computational complexity