ITC 2019:University Course Timetabling with MaxSAT
Details
Minimal Perturbation in University Timetabling with Maximum Satisfiability
Details
PDF
Disruptions in Timetables: A Case Study at Universidade de Lisboa
Details
Repairing Boolean logical models from time-series data using Answer Set Programming
Details
PDF
YEASTRACT: an upgraded database for the analysis of transcription regulatory networks in Saccharomyces cerevisiae
Details
PDF
Room usage optimization in timetabling: A case study at Universidade de Lisboa
Details
PDF
Repairing Boolean regulatory networks using Answer Set Programming
Details
PDF
Poster
Repairing Boolean regulatory networks using Answer Set Programming
Details
PDF