Login / Signup
Skolem Functions for Factored Formulas.
Ajith K. John
Shetal Shah
Supratik Chakraborty
Ashutosh Trivedi
S. Akshay
Published in:
FMCAD (2015)
Keyphrases
</>
first order logic
real world
data mining
knowledge base
multiscale
databases
information retrieval
social networks
image processing
website
clustering algorithm
expert systems
data model
state space
mathematical formulas