Popular repositories

1. MPPTimetables MPPTimetables Public

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

   C++ 3 2

2. RBN RBN Public

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

   C++ 2

3. DoctoralThesisIST DoctoralThesisIST Public

   Forked from FilipeMar/DoctoralThesisIST

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

   TeX 2

4. Compacter Compacter Public

   Java 1

5. train-schedule-optimisation train-schedule-optimisation Public

   Iterative Train Scheduling with Maximum Satisfiability

   C++ 1

6. DataSets DataSets Public

   1