2006 | ||
---|---|---|
5 | Andreas Junghanns, Mugur M. Tatar: Diagnosing Highly Configurable Products: Troubleshooting Support for Airbus Final Assembly Line. ECAI 2006: 637-641 | |
2004 | ||
4 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A constraint solver for model-based engineering. AI Commun. 17(2): 75-92 (2004) |
2002 | ||
3 | EE | Jakob Mauss, Frank Seelisch, Mugur M. Tatar: A Relational Constraint Solver for Model-Based Engineering. CP 2002: 696-701 |
2 | Jakob Mauss, Mugur M. Tatar: Computing Minimal Conflicts for Rich Constraint Languages. ECAI 2002: 151-155 | |
1994 | ||
1 | Mugur M. Tatar: Combining the Lazy Label Evaluation with Focusing Techniques in an ATMS. ECAI 1994: 160-164 |
1 | Andreas Junghanns | [5] |
2 | Jakob Mauss | [2] [3] [4] |
3 | Frank Seelisch | [3] [4] |