共 50 条
- [41] Generic Constraint-Based Block Modeling Using Constraint Programming PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING, CP 2019, 2019, 11802 : 656 - 673
- [42] Constraint solver synthesis using tabled resolution for constraint logic programming LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 32 - 47
- [44] Verification of parallel systems using constraint programming PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP 97, 1997, 1330 : 92 - 106
- [45] Vaccination Planning in Peru using Constraint Programming ICAART: PROCEEDINGS OF THE 14TH INTERNATIONAL CONFERENCE ON AGENTS AND ARTIFICIAL INTELLIGENCE - VOL 3, 2022, : 757 - 764
- [47] Model checking LTL using constraint programming APPLICATION AND THEORY OF PETRI NETS 1997, 1997, 1248 : 1 - 20
- [48] TCAS software verification using constraint programming KNOWLEDGE ENGINEERING REVIEW, 2012, 27 (03): : 343 - 360
- [49] Nurse scheduling using constraint logic programming SIXTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-99)/ELEVENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE (IAAI-99), 1999, : 838 - 843
- [50] Cloud Service Matchmaking using Constraint Programming 2015 IEEE 24TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES - INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES, 2015, : 63 - 68