共 50 条
- [41] Stable computational semantics of conflict-free rewrite systems (partial orders with duplication) REWRITING TECHNIQUES AND APPLICATIONS, PROCEEDINGS, 2003, 2706 : 467 - 482
- [43] Solving the Conflict-Free Electric Vehicle Routing Problem Using SMT Solvers 2021 29TH MEDITERRANEAN CONFERENCE ON CONTROL AND AUTOMATION (MED), 2021, : 542 - 547
- [45] Random Search for Dispatch and Conflict-Free Routing Problem of Capacitated AGV Systems 2013 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC 2013), 2013, : 1611 - 1615
- [46] An SMT Based Compositional Algorithm to Solve a Conflict-Free Electric Vehicle Routing Problem 2021 IEEE 17TH INTERNATIONAL CONFERENCE ON AUTOMATION SCIENCE AND ENGINEERING (CASE), 2021, : 1364 - 1369
- [50] Complexity of the (Connected) Cluster Vertex Deletion Problem on H-free Graphs Theory of Computing Systems, 2024, 68 : 250 - 270