1. Embedded system synthesis by timing constraints solving;Kuchcinski,1997
2. Handbook of Constraint Programming,2006
3. Electronic Design Automation: Synthesis, Verification, and Test;Wang,2009
4. Optimization by simulated annealing;Kirkpatrick;Science,1983
5. A user’s guide to tabu search;Glover;Ann. Oper. Res.,1993