Login / Signup

Non-solution implications using reverse domination in a modern SAT-based debugging environment.

Bao LeHratch MangassarianBrian KengAndreas G. Veneris
Published in: DATE (2012)
Keyphrases
  • constraint solver
  • real time
  • mathematical model
  • answer set programming
  • ai planning
  • linear equations
  • orders of magnitude
  • planning domains