Martin Sachenbacher, Paul Maier
Test Strategy Generation Using Quantified CSPs
14th International Conference on Principles and Practice of Constraint Programming (CP-2008)
2008

Paul Maier, Martin Sachenbacher
Constraint Optimization and Abstraction for Embedded Intelligent Systems
338--342
Fifth International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR-2008)
2008

Paul Maier, Martin Sachenbacher
Adaptive Domain Abstraction in a Soft-Constraint Message-Passing Algorithm
9th Workshop on Preferences and Soft Constraints (SOFT-2008)
2008

Paul Maier
Adaptive Abstraction of Constraint-Based Models for Self-Diagnosis and Planning
1859--1860
Twenty-Third AAAI Conference on Artificial Intelligence (AAAI-2008)/sigart doctoral consortium
The AAAI Press
2008