Login / Signup
On the Complexity of Program Debugging Using Constraints for Modeling the Program's Syntax and Semantics.
Franz Wotawa
Jörg Weber
Mihai Nica
Rafael Ceballos
Published in:
CAEPIA (2009)
Keyphrases
</>
computational complexity
constraint satisfaction
decision problems
databases
machine learning
database
real time
artificial intelligence
computer vision
worst case
constraint programming
global constraints