 | 2007 |
|---|
| 5 |       | H. Dieter Rombach,
Frank Seelisch:
Formalisms in Software Engineering: Myths Versus Empirical Facts.
CEE-SET 2007: 13-25 |
| 2004 |
|---|
| 4 | | Jakob Mauss,
Frank Seelisch,
Mugur M. Tatar:
A constraint solver for model-based engineering.
AI Commun. 17(2): 75-92 (2004) |
| 2002 |
|---|
| 3 | | Jakob Mauss,
Frank Seelisch,
Mugur M. Tatar:
A Relational Constraint Solver for Model-Based Engineering.
CP 2002: 696-701 |
| 2 | | Frank Seelisch:
A Partially Solved Form for Heterogeneous Constraints in Disjunctive Normal Form.
CP 2002: 780 |
| 2001 |
|---|
| 1 | | Frank Seelisch:
Heterogeneous Constraint Problems.
CP 2001: 783 |
