Building Models through Formal Specification
暂无分享,去创建一个
[1] Toby Walsh,et al. Constraint Patterns , 2003, CP.
[2] Pierre Flener,et al. Introducing ESRA, a Relational Language for Modelling Combinatorial Problems , 2003, CP.
[3] Nicolas Barnier,et al. Solving the Kirkman's schoolgirl problem in a few seconds , 2002 .
[4] Jimmy Ho-Man Lee,et al. Algebraic Properties of CSP Model Operators , 2002, CP.
[5] Toby Walsh,et al. CSPLIB: A Benchmark Library for Constraints , 1999, CP.
[6] J. Michael Spivey,et al. Understanding Z : A specification language and its formal semantics , 1985, Cambridge tracts in theoretical computer science.
[7] Barbara M. Smith. Constraint Programming in Practice: Scheduling a Rehearsal , 2003 .
[8] Lakhmi C. Jain,et al. Knowledge-Based Intelligent Information and Engineering Systems , 2004, Lecture Notes in Computer Science.
[9] J. Michael Spivey,et al. The Z notation - a reference manual , 1992, Prentice Hall International Series in Computer Science.
[10] Brahim Hnich,et al. Function Variables for Constraint Programming , 2003 .
[11] Joxan Jaffar,et al. Principles and Practice of Constraint Programming – CP’99 , 1999, Lecture Notes in Computer Science.
[12] Inés Arana,et al. A Synergy of Modelling for Constraint Problems , 2003, KES.
[13] Pascal Van Hentenryck. The OPL optimization programming language , 1999 .
[14] Francesca Rossi,et al. Principles and Practice of Constraint Programming – CP 2003 , 2003, Lecture Notes in Computer Science.