Doctoral Research Seminar – Information and Net Technologies Itinerary: "Today is about models"
Daniel Riera Terrén, IT, Multimedia and Telecommunications Department
This seminar is intended that participants can work on small problems with constraint
satisfaction (eg N-queens, SEND + MORE = MONEY, zebra-problem, etc..) To understand the expressive
when modeling certain problems with the paradigm of programming with restrictions.
To attend the seminar is recommended knowledge of mathematics and logic.