共 50 条
- [21] Program Analysis as Constraint Solving PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 281 - +
- [22] Symbolic Automata Constraint Solving LOGIC FOR PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND REASONING, 2010, 6397 : 640 - 654
- [23] Solving Sudoku with Constraint Programming CUTTING-EDGE RESEARCH TOPICS ON MULTIPLE CRITERIA DECISION MAKING, PROCEEDINGS, 2009, 35 : 345 - +
- [24] Predictive Constraint Solving and Analysis 2020 IEEE/ACM 42ND INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING RESULTS (ICSE-NIER 2020), 2020, : 109 - 112
- [26] A workbench for geometric constraint solving Computer-Aided Design and Applications, 2008, 5 (1-4): : 471 - 482
- [28] WaveFunctionCollapse is Constraint Solving in the Wild PROCEEDINGS OF THE 12TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES (FDG'17), 2017,
- [29] Herbrand constraint solving in HAL LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 260 - 274
- [30] Geometric constraint solving with linkages Ruan Jian Xue Bao/Journal of Software, 2000, 11 (09): : 1151 - 1158