Login / Signup

Recovering and Exploiting Structural Knowledge from CNF Formulas.

Richard OstrowskiÉric GrégoireBertrand MazureLakhdar Sais
Published in: CP (2002)
Keyphrases
  • knowledge representation
  • knowledge acquisition
  • knowledge based systems
  • expert systems
  • data structure