Login / Signup

Un-Skolemizing Clause Sets.

William McCune
Published in: Inf. Process. Lett. (1988)
Keyphrases
  • databases
  • horn clauses
  • set theoretic
  • neural network
  • machine learning
  • e learning
  • rough sets
  • np complete
  • satisfiability testing