Jinbo Huang: Search Strategy Simulation in Constraint Booleanization. KR 2012