Popular repositories Loading

1. MPPTimetables MPPTimetables Public

   MaxSAT and other approaches to solve University timetabling problems and MPP.

   C++ 6 3

2. DataSets DataSets Public

   4

3. RBN RBN Public

   Repairing Boolean logical models from time-series data using Answer Set Programming

   C++ 2

4. train-schedule-optimisation train-schedule-optimisation Public

   Iterative Train Scheduling with Maximum Satisfiability

   C++ 2 1

5. DoctoralThesisIST DoctoralThesisIST Public

   Forked from FilipeMar/DoctoralThesisIST

   LaTeX Template: Tese Doutoral / PhD Thesis -- Instituto Superior Técnico

   TeX 2

6. Compacter Compacter Public

   Java 1