AAAI Publications, Twenty-Fourth IAAI Conference

Font Size: 
QuickPup: A Heuristic Backtracking Algorithm for the Partner Units Configuration Problem
Erich Christian Teppan, Gerhard Friedrich, Andreas A. Falkner

Last modified: 2012-07-14


The Partner Units Problem (PUP) constitutes a challenging real-world configuration problem with diverse application domains such as railway safety, security monitoring, electrical engineering, or distributed systems.Although using the latest problem-solving methods including Constraint Programming, SAT Solving,Integer Programming, and Answer Set Programming, current methods fail to generate solutions for mid-sized real-world problems in acceptable time. This paper presents the QuickPup algorithm based on backtrack search combined with smart variable orderings and restarts. QuickPup outperforms the available methods by orders of magnitude and thus makes it possible toautomatically solve problems which couldn’t be solved without human expertise before. Furthermore, the runtimes of QuickPup are typically below one second for real-world problem instances.

Full Text: PDF