Railway modelling in CSP||B: the double junction case study.
Markus RoggenbachFaron MollerSteve A. SchneiderHelen TreharneHoang Nga NguyenPublished in: Electron. Commun. Eur. Assoc. Softw. Sci. Technol. (2012)
Keyphrases
- case study
- constraint satisfaction problems
- constraint satisfaction
- real world
- constraint networks
- lessons learned
- np hard
- business process
- constraint programming
- constraint propagation
- constraint problems
- special case
- knowledge management
- information systems
- learning algorithm
- machine learning
- database
- sat encodings
- arc consistency algorithm