Constraint solving and preference activation for interactive design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Exploiting sparsity in polyhedral analysis
SAS'05 Proceedings of the 12th international conference on Static Analysis
Polyhedral analysis using parametric objectives
SAS'12 Proceedings of the 19th international conference on Static Analysis
| Hi-index | 0.00 |