Discrete Modeling , Optimization , and Search #ArtificialIntelligence Lab Brussels