A general branch and bound formulation for understanding and synthesizing and/or tree search procedures

Abstract
No abstract available