共 50 条
- [32] Constraint-based approach for analysis of hybrid systems COMPUTER AIDED VERIFICATION, 2008, 5123 : 190 - +
- [33] Spatial and Epistemic Modalities in Constraint-Based Process Calculi CONCUR 2012 - CONCURRENCY THEORY, 2012, 7454 : 317 - 332
- [37] The 'metre of Beowulf': A constraint-based approach. JOURNAL OF ENGLISH AND GERMANIC PHILOLOGY, 2004, 103 (04): : 535 - 538
- [39] A constraint-based approach to camera path planning SMART GRAPHICS, PROCEEDINGS, 2003, 2733 : 172 - 181
- [40] A Constraint-Based Approach to the Differential Harvest Problem PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2015, 2015, 9255 : 541 - 556