| 2008 |
|---|
| 10 | EE | Martin Sachenbacher,
Paul Maier:
Test Strategy Generation Using Quantified CSPs.
CP 2008: 566-570 |
| 9 | EE | Paul Maier,
Martin Sachenbacher:
Constraint Optimization and Abstraction for Embedded Intelligent Systems.
CPAIOR 2008: 338-342 |
| 2006 |
|---|
| 8 | EE | Martin Sachenbacher,
Brian C. Williams:
Conflict-Directed A* Search for Soft Constraints.
CPAIOR 2006: 182-196 |
| 2005 |
|---|
| 7 | | Tsoline Mikaelian,
Brian C. Williams,
Martin Sachenbacher:
Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior.
AAAI 2005: 327-333 |
| 6 | EE | Martin Sachenbacher,
Brian C. Williams:
Bounded Search and Symbolic Inference for Constraint Optimization.
IJCAI 2005: 286-291 |
| 5 | EE | Martin Sachenbacher,
Peter Struss:
Task-dependent qualitative domain abstraction.
Artif. Intell. 162(1-2): 121-143 (2005) |
| 2004 |
|---|
| 4 | EE | Martin Sachenbacher,
Brian C. Williams:
On-Demand Bound Computation for Best-First Constraint Optimization.
CP 2004: 762-766 |
| 3 | | Martin Sachenbacher,
Brian C. Williams:
Diagnosis as Semiring-Based Constraint Optimization.
ECAI 2004: 873-877 |
| 2003 |
|---|
| 2 | | Martin Sachenbacher,
Peter Struss:
Automated Qualitative Domain Abstraction.
IJCAI 2003: 382-387 |
| 2000 |
|---|
| 1 | | Martin Sachenbacher,
Peter Struss,
Claes M. Calén:
A Prototype for Model-based On-board Diagnosis of Automotive Systems.
AI Commun. 13(2): 83-98 (2000) |
