• 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 WotawaJörg WeberMihai NicaRafael 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