A Logic-Based Implementation of the LP/NLP Branch and Bound Algorithm | Publicación