Designing Theory Solvers with Extensions.

Andrew Reynolds Cesare Tinelli Dejan Jovanovic Clark W. Barrett

Published in: FroCoS (2017)

Keyphrases

theoretical foundation
general theory
formal theory
database
theoretical framework
theoretical basis
neural network
data mining
information retrieval
artificial intelligence
support vector
np complete
efficient implementation
information theory
default logic
sat solving