@article{DBLP:journals/anor/Marte07,
author = {Michael Marte},
title = {Towards constraint-based school timetabling},
journal = {Ann. Oper. Res.},
volume = {155},
number = {1},
pages = {207--225},
year = {2007},
url = {https://doi.org/10.1007/s10479-007-0218-9},
doi = {10.1007/S10479-007-0218-9},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/Marte07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ci/BistarelliFMR04,
author = {Stefano Bistarelli and
Thom W. Fr{\"{u}}hwirth and
Michael Marte and
Francesca Rossi},
title = {Soft Constraint Propagation and Solving in Constraint Handling Rules},
journal = {Comput. Intell.},
volume = {20},
number = {2},
pages = {287--307},
year = {2004},
url = {https://doi.org/10.1111/j.0824-7935.2004.00239.x},
doi = {10.1111/J.0824-7935.2004.00239.X},
timestamp = {Tue, 23 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/ci/BistarelliFMR04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/frocos/Marte02,
author = {Michael Marte},
editor = {Alessandro Armando},
title = {A Modular Approach to Proving Confluence},
booktitle = {Frontiers of Combining Systems, 4th International Workshop, FroCoS
2002, Santa Margherita Ligure, Italy, April 8-10, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2309},
pages = {33--48},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45988-X\_4},
doi = {10.1007/3-540-45988-X\_4},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/frocos/Marte02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sac/BistarelliFM02,
author = {Stefano Bistarelli and
Thom W. Fr{\"{u}}hwirth and
Michael Marte},
editor = {Gary B. Lamont and
Hisham Haddad and
George A. Papadopoulos and
Brajendra Panda},
title = {Soft constraint propagation and solving in CHRs},
booktitle = {Proceedings of the 2002 {ACM} Symposium on Applied Computing (SAC),
March 10-14, 2002, Madrid, Spain},
pages = {1--5},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/508791.508793},
doi = {10.1145/508791.508793},
timestamp = {Tue, 06 Nov 2018 11:06:47 +0100},
biburl = {https://dblp.org/rec/conf/sac/BistarelliFM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/aai/AbdennadherM00,
author = {Slim Abdennadher and
Michael Marte},
title = {University Course Timetabling Using Constraint Handling Rules},
journal = {Appl. Artif. Intell.},
volume = {14},
number = {4},
pages = {311--325},
year = {2000},
url = {https://doi.org/10.1080/088395100117016},
doi = {10.1080/088395100117016},
timestamp = {Tue, 25 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/aai/AbdennadherM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jfplc/AbdennadherM98,
author = {Slim Abdennadher and
Michael Marte},
editor = {Olivier Ridoux},
title = {University timetabling using constraint handling rules},
booktitle = {JFPLC'98, Septi{\`{e}}mes Journ{\'{e}}es Francophones de Programmation
Logique et programmation par Contraintes, 27-29 mai 1998, Nantes,
France},
pages = {39--50},
publisher = {Hermes},
year = {1998},
timestamp = {Thu, 27 May 2004 08:16:09 +0200},
biburl = {https://dblp.org/rec/conf/jfplc/AbdennadherM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
