Sign in

Generating Hard Random Boolean Formulas and Disjunctive Logic Programs.

Giovanni AmendolaFrancesco RiccaMiroslaw Truszczynski
Published in: IJCAI (2017)
Keyphrases
  • boolean formula
  • disjunctive logic programming
  • sat solvers
  • practical problems
  • np complete
  • answer set programming
  • linear constraints
  • logic programs
  • conjunctive normal form
  • knowledge base
  • upper bound