共 50 条
- [32] Vertex-magic total labeling of a graph by distributed constraint solving in the Mozart system PARALLEL PROCESSING AND APPLIED MATHEMATICS, 2006, 3911 : 952 - 959
- [33] Constraint solving for interpolation JOURNAL OF SYMBOLIC COMPUTATION, 2010, 45 (11) : 1212 - 1233
- [34] Constraint solving for interpolation VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, PROCEEDINGS, 2007, 4349 : 346 - +
- [35] Combining constraint solving CONSTRAINTS IN COMPUTATIONAL LOGICS: THEORY AND APPLICATIONS, 2001, 2002 : 104 - 158
- [36] Solving dynamic distributed constraint satisfaction problems with a modified weak-commitment search algorithm ENGINEERING SELF-ORGANISING SYSTEMS, 2005, 3910 : 130 - 137
- [37] Solving distributed asymmetric constraint satisfaction problems using an evolutionary society of hill-climbers GENETIC AND EVOLUTIONARY COMPUTATION - GECCO 2003, PT I, PROCEEDINGS, 2003, 2723 : 561 - 572
- [40] Program Analysis as Constraint Solving PLDI'08: PROCEEDINGS OF THE 2008 SIGPLAN CONFERENCE ON PROGRAMMING LANGUAGE DESIGN & IMPLEMENTATION, 2008, : 281 - +