A Constraint Satisfaction Approach to a Circuit Design Problem

Jean-François Puget, Pascal Van Hentenryck. A Constraint Satisfaction Approach to a Circuit Design Problem. J. Global Optimization, 13(1):75-93, 1998. [doi]