Login / Signup

On the Structure of Industrial SAT Instances.

Carlos AnsóteguiMaria Luisa BonetJordi Levy
Published in: CP (2009)
Keyphrases
  • sat instances
  • sat solvers
  • industrial applications
  • randomly generated
  • knowledge base
  • xml documents
  • orders of magnitude
  • satisfiability problem