An Improved Constraint Ordering Heuristics for Compiling Configuration Problems.
['Benjamin Matthes', 'Christoph Zengler', 'Wolfgang Küchlin']
An Improved Constraint Ordering Heuristics for Compiling Configuration Problems.