Popular repositories Loading

1. MPPTimetables MPPTimetables Public

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

   C++ 5 3

2. RBN RBN Public

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

   C++ 2

3. train-schedule-optimisation train-schedule-optimisation Public

   Iterative Train Scheduling with Maximum Satisfiability

   C++ 2 1

4. DoctoralThesisIST DoctoralThesisIST Public

   Forked from FilipeMar/DoctoralThesisIST

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

   TeX 2

5. Compacter Compacter Public

   Java 1

6. DataSets DataSets Public

   1