A New Method for the Global Solution of Large Systems of Continuous Constraints. - Mark S. Boddy; Daniel P. Johnson (COCOS, 2002)

A Method for Global Optimization of Large Systems of Quadratic Constraints. - Nitin Lamba; Mark Dietz; Daniel P. Johnson; Mark S. Boddy (COCOS, 2003)