Date&Time: Tuesday May 28th, 2019 - h.10.00am
Venue: Via Sommarive 5 - Polo Ferrari 1 (Povo, TN) - Room A223
- Prof. Albert Oliveras - Technical University of Catalonia, Barcelona
In this talk we will report on experiences with Barcelogic, a little combinatorial-optimization start-up that was created in order to transfer the technology that, as a research group, had been developed for solving combinatorial optimization problems.
The talk will be mostly non-technical. We will focus on presenting some of the real-world problems that we have solved using SAT, SMT, ILP, Pseudo-Boolean and other combinatorial optimization techniques.
Contact: roberto.sebastiani [at] unitn.it (Roberto Sebastiani )