Login / Signup

Finding the Hardest Formulas for Resolution.

Tomás PeitlStefan Szeider
Published in: CP (2020)
Keyphrases
  • data sets
  • databases
  • case study
  • multi agent systems
  • lower bound
  • evolutionary algorithm
  • consequence finding