University College Cork

1. Home
2. Retired Staff
3. People
4. Marc Van Dongen

‍

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

‍

Teaching Activities

‍

Teaching Interests