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