Login / Signup
Approximate Knowledge Compilation: The First Order Case.
Alvaro del Val
Published in:
AAAI/IAAI, Vol. 1 (1996)
Keyphrases
</>
knowledge compilation
product configuration
polynomial size
decomposable negation normal form
prime implicates
logical inference
data mining
first order logic
target language