Publications

Please find below a list of publications, some of which are on line. Feel free to contact me by e-mail if you have problems accessing them.
Index

2012 ]

2011 ]

2010 ]

2009 ]

2008 ]

2007 ]

2006 ]

2005 ]

2004 ]

2003 ]

2002 ]

2001 ]

2000 ]

1999 ]

1997 ]

1996 ]

1992 ]

2012

  • M.R.C. van Dongen
    LaTeX and Friends. Available in BibTeX.
Back to index

2011

  • Tim Januschowski, Barbara M. Smith, and M.R.C. van Dongen
    Symmetry Breaking with Polynomial Delay. Available in BibTeX.
Back to index

2010

  • Christophe Lecoutre, Olivier Roussel, and M.R.C. van Dongen
    Promoting Robust Black-box Solvers through Competitions, in Journal of Constraints (Volume 15, Number 3, Pages 317--326)
    Available in BibTeX.
Back to index

2009

  • Tim Januschowski, Barbara M. Smith, and M.R.C. van Dongen
    Foundations of Symmetry Breaking Revisited, in Proceedings of the Ninth International Workshop on Symmetry in Constraint Satisfaction Problems, Available in BibTeX.
Back to index

2008

Back to index

2007

  • Deepak Mehta and M.R.C. van Dongen
    Probabilistic Consistency Boosts MAC and SAC, in Proceedings of the Twentieth International Joint Conference on Artificial Intelligence (IJCAI'2007).
    Available in BibTeX.
  • Chris Jefferson, Peter Jeavons, Martin J. Green, and M.R.C. van Dongen, Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials, in Mathematical Aspects of Computer and Information Sciences 2007.
    Available in BibTeX.
  • Chris Jefferson, Peter Jeavons, Martin J. Green, and M.R.C. van Dongen, Representing and Solving Finite-Domain Constraint Problems Using Systems of Polynomials, Technical Report RR-07-07 of Oxford University Computing Laboratory.
    Available in BibTeX.
  • M.R.C. van Dongen
    Solving the ``Zebra Problem'', in Visual Practices Across the University, James Elkins (Editor).
    Available in BibTeX.
Back to index

2006

Back to index

2005

  • Deepak Mehta and M.R.C. van Dongen
    Reducing Checks and Revisions in Coarse-Grained MAC Algorithms, in Proceedings of the Nineteenth International Joint Conference on Artificial Intelligence (IJCAI'2005).
    Available in BibTeX and http://ijcai.org/papers/0820.pdf.
  • Deepak Mehta and M.R.C. van Dongen
    Static Value Ordering Heuristics for Constraint Satisfaction Problems, in Proceedings of the Second International Workshop on Constraint Propagation And Implementation (CPAI'05).
    Available in BibTeX.
  • M.R.C. van Dongen
    20,000 Bytes Under the C, in Proceedings of the Second International Workshop on Constraint Propagation And Implementation (CPAI'05), Volume II
    Available in BibTeX.
  • M.R.C. van Dongen
    Tables, Barcharts, and Graphs, in Proceedings of the Second International Workshop on Constraint Propagation And Implementation (CPAI'05), Volume II
    Available in BibTeX.
  • M.R.C. van Dongen (Editor)
    Proceedings of the Second International Workshop on Constraint Propagation And Implementation (CPAI'05), Volume I.
    Available in BibTeX and http://cpai.ucc.ie/05/CPAI_Vol_I.pdf.
  • M.R.C. van Dongen (Editor)
    Proceedings of the Second International Workshop on Constraint Propagation And Implementation (CPAI'05), Volume II.
    Available in BibTeX and http://cpai.ucc.ie/05/CPAI_Vol_II.pdf.
Back to index

2004

Back to index

2003

Back to index

2002

Back to index

2001

  • M.R.C. van Dongen
    Domain-Heuristics for Arc-Consistency Algorithms.
    In Proc. AICS'2001 , pages 179--188, Maynooth, Ireland.
    Available in pdf presentation and BibTeX.
  • M.R.C. van Dongen
    A Theoretical Analysis of the Average Time-Complexity of Domain-Heuristics for Arc-Consistency Algorithms.
    In Proc. JFPLC'2001 , pages 27--41, Paris, France.
    Available in pdf presentation and BibTeX.
Back to index

2000

Back to index

1999

  • M.R.C. van Dongen
    Using Gröbner Basis Theory to Compute Constraint Networks in Globally Solved Form.
    In Proc. AICS'1999 , pages 15--21, Cork, Ireland.
    Available in pdf, ps and in BibTeX.
Back to index

1997

  • M.R.C. van Dongen, AC-3b, An Efficient Arc-Consistency Algorithm with a Low Space-Complexity,
    Technical Report: TR-97-01, Computer Science Department, University College Cork, Cork, Ireland.
    Available in BibTeX.
  • M.R.C. van Dongen, B.A. O'Sullivan, J.A. Bowen and A.B. Ferguson
    Interfacing a Constraint Programming Language with an Existing Electronics CAD Package.
    In Proc. ERCIM Compulog Workshop (1997), Linz, Austria.
    Available in pdf, ps and in BibTeX.
  • M.R.C. van Dongen, B.A. O'Sullivan, J.A. Bowen, A.B. Ferguson and M. Baggaley
    Using Constraint Programming to Simplify the Task of Specifying DFX Guidelines.
    In Proc. ICE 1997 , pages 129--138, Nottingham, UK.
    Avaliable in pdf, ps and in BibTeX.
Back to index

1996

Back to index

1992

Back to index


Marc van Dongen