Login / Signup
Non-solution implications using reverse domination in a modern SAT-based debugging environment.
Bao Le
Hratch Mangassarian
Brian Keng
Andreas 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