Interactive tool support for CSP || B consistency checking.
Neil EvansHelen TreharnePublished in: Formal Aspects Comput. (2007)
Keyphrases
- consistency checking
- tool support
- constraint satisfaction problems
- arc consistency
- software development
- query answering
- software tools
- path consistency
- constraint propagation
- constraint satisfaction
- temporal constraints
- design decisions
- software projects
- constraint programming
- constraint networks
- software engineering
- np hard
- non binary
- information systems
- multi agent
- temporal reasoning
- np complete
- knowledge management
- databases