| |
| 2004 | ||
|---|---|---|
| 3 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A constraint solver for model-based engineering. AI Commun. 17(2): 75-92 (2004) |
| 2002 | ||
| 2 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A Relational Constraint Solver for Model-Based Engineering. CP 2002: 696-701 |
| 1 | Jakob Mauss, Mugur M. Tatar: Computing Minimal Conflicts for Rich Constraint Languages. ECAI 2002: 151-155 | |
| 1 | Frank Seelisch | [2] [3] |
| 2 | Mugur M. Tatar | [1] [2] [3] |