This page shows all presentations of this author published in EasyChair Smart Slide.
Minimal Perturbation in University Timetabling with Maximum Satisfiability
Alexandre Lemos, Pedro T. Monteiro and Inês Lynce
Model Revision of Logical Regulatory Networks using Logic-based Tools
Filipe Gouveia, Ines Lynce and Pedro T. Monteiro