共 50 条
- [41] A Constraint Solver for PHP Arrays IEEE SIXTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW 2013), 2013, : 218 - 223
- [42] A Complete Solver for Constraint Games PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2014, 2014, 8656 : 58 - 74
- [45] An interactive geometric constraint solver ADVANCES IN INTELLIGENT SYSTEMS: CONCEPTS, TOOLS AND APPLICATIONS, 1999, 21 : 21 - 32
- [49] Technology retargeting for IC layout DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 460 - 465