C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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