![]() | ![]() |
2007 | ||
---|---|---|
5 | EE | Michael Marte: Towards constraint-based school timetabling. Annals OR 155(1): 207-225 (2007) |
2002 | ||
4 | EE | Michael Marte: A Modular Approach to Proving Confluence. FroCos 2002: 33-48 |
3 | EE | Stefano Bistarelli, Thom W. Frühwirth, Michael Marte: Soft constraint propagation and solving in CHRs. SAC 2002: 1-5 |
2000 | ||
2 | Slim Abdennadher, Michael Marte: University Course Timetabling Using Constraint Handling Rules. Applied Artificial Intelligence 14(4): 311-325 (2000) | |
1998 | ||
1 | Slim Abdennadher, Michael Marte: University timetabling using constraint handling rules. JFPLC 1998: 39-50 |
1 | Slim Abdennadher | [1] [2] |
2 | Stefano Bistarelli | [3] |
3 | Thom W. Frühwirth | [3] |