Sachenbacher, Martin

5 publications

AAAI 2011 Efficient Energy-Optimal Routing for Electric Vehicles Martin Sachenbacher, Martin Leucker, Andreas Artmeier, Julian Haselmayr

AAAI 2010 Computing Cost-Optimal Definitely Discriminating Tests Anika Schumann, Jinbo Huang, Martin Sachenbacher

IJCAI 2005 Bounded Search and Symbolic Inference for Constraint Optimization Martin Sachenbacher, Brian C. Williams

AAAI 2005 Model-Based Monitoring and Diagnosis of Systems with Software-Extended Behavior Tsoline Mikaelian, Brian C. Williams, Martin Sachenbacher

IJCAI 2003 Automated Qualitative Domain Abstraction Martin Sachenbacher, Peter Struss