Login / Signup

An Operator for Removal of Subsumed Clauses.

Mohammad GhasemzadehChristoph Meinel
Published in: CSICC (2008)
Keyphrases
  • search space
  • first order logic
  • consequence finding
  • information retrieval
  • objective function
  • relational databases
  • evolutionary algorithm
  • data model
  • laplace beltrami