Biography
Research Interests
I have an interest in good consistency and search algorithms with a low space-complexity. I have an interest in mathematics in general and in Gröbner bases in particular.Publications
Books
Year | Publication | |
---|---|---|
(2012) | LaTeX and Friends. M.R.C. van Dongen (2012) LaTeX and Friends. Germany: Springer. [Details] |
Peer Reviewed Journals
Year | Publication | |
---|---|---|
(2012) | 'Symmetry Breaking with Polynomial Delay' Tim Januschowski, Barbara M. Smith, and M. R. C. van Dongen (2012) 'Symmetry Breaking with Polynomial Delay'. Constraint Programming Letters, 5 :1-17 [Details] | |
(2013) | 'Representing and solving finite-domain constraint problems using systems of polynomials' Christopher Jefferson, Peter Jeavons, Martin J. Green, M. R. C. van Dongen (2013) 'Representing and solving finite-domain constraint problems using systems of polynomials'. Annals of Mathematics and Artificial Intelligence, :359-382 [Details] | |
(2008) | 'The Expected Value and the Variance of the Checks Required by Revision Algorithms' M. R. C. van Dongen, A.B. Dieker, and A. Sapozhnikov (2008) 'The Expected Value and the Variance of the Checks Required by Revision Algorithms'. Constraint Programming Letters, 2 :55-77 [Details] | |
(2004) | 'Saving Checks Does Not Always Save Time' M.R.C. van Dongen; (2004) 'Saving Checks Does Not Always Save Time'. Artificial Intelligence Review, 21 :3-4 [Details] | |
(2003) | 'Domain-Heuristics for Arc-Consistency Algorithms, in Recent Advances in Constraints' M. R. C. van Dongen (2003) 'Domain-Heuristics for Arc-Consistency Algorithms, in Recent Advances in Constraints'. Lecture Notes In Artificial Intelligence, 2627 :61-75 [Details] |
Professional Activities
Conference Contributions
Year | Publication | |
---|---|---|
(2008) | Proceedings of the Second International CSP Solver Competition, M.R.C. van Dongen, Christophe Lecoutre, and Olivier Roussel ; (2008) *. [Editorship of Whole Conference Proceedings], Proceedings of the Second International CSP Solver Competition, UCC , 01-JAN-08 - 30-SEP-08. [Details] | |
(2006) | Proceedings of the Third International Workshop on Constraint Propagation and Implementation,, M.R.C. van Dongen and Christophe Lecoutre ; (2006) *. [Editorship of Whole Conference Proceedings], Proceedings of the Third International Workshop on Constraint Propagation and Implementation,, Nantes, France , 01-JAN-06 - 31-DEC-06. [Details] | |
(2005) | Proceedings of the Second International Workshop on Constraint Propagation and Implementation,, M.R.C. van Dongen; (2005) *. [Editorship of Whole Conference Proceedings], Proceedings of the Second International Workshop on Constraint Propagation and Implementation,, Spain , 01-JAN-05 - 31-DEC-05. [Details] | |
(2004) | Proceedings of the First International Workshop on Constraint Propagation and Implementation,, M.R.C. van Dongen ; (2004) *. [Editorship of Whole Conference Proceedings], Proceedings of the First International Workshop on Constraint Propagation and Implementation,, Toronto, Canada , 01-JAN-04 - 31-DEC-04. [Details] |
Committees
Committee | Function | From / To | |
---|---|---|---|
SGAI Programme Committee | Programme Committee Member | 2012 / 2014 | |
AAAI Programme Committee | Programme Committee Member | 2015 / 2015 |
Employment
Employer | Position | From / To | |
---|---|---|---|
Department of Computer Science, UCC | Lecturer | 01-SEP-03 / | |
UCC | Researcher/Temporary Lecturer | 01-NOV-95 / 01-OCT-03 |
Education
Year | Institution | Qualification | Subject | |
---|---|---|---|---|
1992 | Twente | MSc | Computer Science | |
2003 | UCC | PHD | Computer Science |
Journal Activities
Journal | Role | To / From | |
---|---|---|---|
Constraint Processing Letters | Editor | 01-JAN-08 - 30-SEP-08 |