共 50 条
- [32] Literally Unplayable: On Constraint-Based Generation of Uncompletable Levels [J]. PROCEEDINGS OF THE 19TH INTERNATIONAL CONFERENCE ON THE FOUNDATIONS OF DIGITAL GAMES, FDG 2024, 2024,
- [33] Towards a Framework for Constraint-Based Test Case Generation [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2010, 6037 : 128 - +
- [35] Constraint-based debugging in probabilistic model checking [J]. Computing, 2023, 105 : 321 - 351
- [36] Constraint-based negotiation model for traffic regulation [J]. 2015 IEEE/WIC/ACM INTERNATIONAL CONFERENCE ON WEB INTELLIGENCE AND INTELLIGENT AGENT TECHNOLOGY (WI-IAT), VOL 2, 2015, : 320 - 327
- [37] A constraint-based collision model for Cosserat rods [J]. Archive of Applied Mechanics, 2019, 89 : 167 - 193
- [39] Constraint-based debugging in probabilistic model checking [J]. COMPUTING, 2023, 105 (02) : 321 - 351
- [40] A constraint-based collision model for Cosserat rods [J]. ARCHIVE OF APPLIED MECHANICS, 2019, 89 (02) : 167 - 193