共 50 条
- [33] Knotted polygons with curvature in Z3 JOURNAL OF PHYSICS A-MATHEMATICAL AND GENERAL, 1998, 31 (47): : 9441 - 9454
- [37] Supercharging Plant Configurations Using Z3 INTEGRATION OF CONSTRAINT PROGRAMMING, ARTIFICIAL INTELLIGENCE, AND OPERATIONS RESEARCH, 2021, 12735 : 1 - 25