Reduction techniques in constraint programming and combinatorial optimization / von Meinolf Sellmann