Pinned Repositories
CleanDataPrograms
Academic Data Profiling and Cleaning: A University Timetable Case Study
Compacter
DataSets
DoctoralThesisIST
LaTeX Template: Tese Doutoral / PhD Thesis -- Instituto Superior Técnico
ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
fenixedu-ist
FenixEdu IST Contribution Modules
Minimal-Perturbation-Problem
MPPTimetables
MaxSAT and other approaches to solve University timetabling problems and MPP.
RBN
Repairing Boolean logical models from time-series data using Answer Set Programming
train-schedule-optimisation
Iterative Train Scheduling with Maximum Satisfiability
ADDALemos's Repositories
ADDALemos/MPPTimetables
MaxSAT and other approaches to solve University timetabling problems and MPP.
ADDALemos/DoctoralThesisIST
LaTeX Template: Tese Doutoral / PhD Thesis -- Instituto Superior Técnico
ADDALemos/RBN
Repairing Boolean logical models from time-series data using Answer Set Programming
ADDALemos/train-schedule-optimisation
Iterative Train Scheduling with Maximum Satisfiability
ADDALemos/Compacter
ADDALemos/DataSets
ADDALemos/CleanDataPrograms
Academic Data Profiling and Cleaning: A University Timetable Case Study
ADDALemos/ExpoSE
A Dynamic Symbolic Execution (DSE) engine for JavaScript. ExpoSE is highly scalable, compatible with recent JavaScript standards, and supports symbolic modelling of strings and regular expressions.
ADDALemos/fenixedu-ist
FenixEdu IST Contribution Modules
ADDALemos/Minimal-Perturbation-Problem
ADDALemos/Modelos-Resumo-Abstract-Doutoramento-Tecnico-Universidade-Lisboa
Modelos para os resumos a entregar no pedido de provas para Doutoramento no IST (não oficial), de acordo com as regras: formato aceite na Secretaria.
ADDALemos/train-reschedule
ADDALemos/poetry
Python packaging and dependency management made easy
ADDALemos/webpage
Personal Webpage
ADDALemos/z3javascript
A JavaScript wrapper for Z3 containing support for regular expressions & capture groups