Login / Signup

Finding the Hardest Formulas for Resolution (Extended Abstract).

Tomás PeitlStefan Szeider
Published in: IJCAI (2021)
Keyphrases
  • extended abstract
  • database
  • information retrieval
  • search engine
  • multi agent systems
  • high resolution
  • low resolution