Sign in
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