共 50 条
[41]
Constraint-Based Relational Verification
[J].
COMPUTER AIDED VERIFICATION (CAV 2021), PT I,
2021, 12759
:742-766
[43]
Constraint-based collaborative design
[J].
2006 10TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, PROCEEDINGS, VOLS 1 AND 2,
2006,
:290-295
[47]
Maintaining Constraint-based Applications
[J].
K-CAP'07: PROCEEDINGS OF THE FOURTH INTERNATIONAL CONFERENCE ON KNOWLEDGE CAPTURE,
2007,
:79-86
[48]
Constraint-based qualitative simulation
[J].
12TH INTERNATIONAL SYMPOSIUM ON TEMPORAL REPRESENTATION AND REASONING, PROCEEDINGS,
2005,
:26-34
[49]
Constraint-based landmark localization
[J].
ROBOCUP 2002: ROBOT SOCCER WORLD CUP VI,
2003, 2752
:8-24
[50]
A distributed constraint-based scheduler
[J].
ARTIFICIAL INTELLIGENCE IN ENGINEERING,
1997, 11 (02)
:91-105