Login / Signup

Does Multi-Clause Learning Help in Real-World Applications?

Dianhuan LinJianzhong ChenHiroaki WatanabeStephen MuggletonPooja JainMichael J. E. SternbergCharles BaxterRichard A. CurrieStuart J. DunbarMark EarllJosé Domingo Salazar
Published in: ILP (2011)
Keyphrases
  • real world
  • clause learning
  • sat solvers
  • information retrieval
  • sat solving
  • machine learning
  • artificial intelligence
  • search algorithm
  • knowledge representation
  • orders of magnitude