共 50 条
- [21] Generic Constraint-Based Block Modeling Using Constraint Programming [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, 2019, 11802 : 656 - 673
- [22] Constraint solver synthesis using tabled resolution for constraint logic programming [J]. LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 32 - 47
- [23] Verification of parallel systems using constraint programming [J]. PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97, 1997, 1330 : 92 - 106
- [24] Vaccination Planning in Peru using Constraint Programming [J]. ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 757 - 764
- [25] Model checking LTL using constraint programming [J]. APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 1 - 20
- [26] A Framework for Actionable Clustering Using Constraint Programming [J]. ECAI 2016: 22ND EUROPEAN CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, 285 : 453 - 461
- [27] Declarative pattern mining using constraint programming [J]. Constraints, 2015, 20 (4) : 492 - 493
- [28] TCAS software verification using constraint programming [J]. KNOWLEDGE ENGINEERING REVIEW, 2012, 27 (03): : 343 - 360
- [29] A Framework for Outlier Description Using Constraint Programming [J]. THIRTIETH AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2016, : 1237 - 1243
- [30] University timetabling using constraint logic programming [J]. PRACTICAL ASPECTS OF DECLARATIVE LANGUAGES, 1999, 1551 : 320 - 334