共 50 条
- [32] Trade-off analysis for SysML models using decision points and CSPs Software and Systems Modeling, 2019, 18 : 3265 - 3281
- [33] Variable Elimination in Binary CSPs PROCEEDINGS OF THE TWENTY-NINTH INTERNATIONAL JOINT CONFERENCE ON ARTIFICIAL INTELLIGENCE, 2020, : 5035 - 5039
- [36] NMUS:: Structural analysis for improving the derivation of all MUSes in overconstrained numeric CSPs CURRENT TOPICS IN ARTIFICIAL INTELLIGENCE, 2007, 4788 : 160 - 169
- [39] Arc consistency for dynamic CSPs KNOWLEDGE-BASED INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS, PT 1, PROCEEDINGS, 2003, 2773 : 393 - 400