Publications

[ 2004 ]

[ 2003 ]

[ 2002 ]

[ 2001 ]

[ 2000 ]

[ 1999 ]

[ 1997 ]

[ 1996 ]

[ 1992 ]

2004

• M.R.C. van Dongen
  Improving MAC by Sacrificing the Optimality of the Worst Case Time Complexity of its Arc Consistency Component. Submitted to Journal of Constraints.
• M.R.C. van Dongen and D. Mehta
  Queue Representation for Arc Consistency Algorithms. Submitted.
• M.R.C. van Dongen
  Saving Support-Checks Does Not Always Save Time. To be published in Artificial Intelligence Review,
  Available in BibTeX.

2003

• M.R.C. van Dongen
  Lightweight MAC Algorithms. AI-2003: The Twenty-third SGAI International Conference on Innovative Techniques and Applications of Artificial Intelligence , Cambridge, UK.
  Available in BibTeX.
• M.R.C. van Dongen
  To Avoid Repeating Checks Does Not Always Save Time. AICS'2003: The 14th Irish Artificial Intelligence and Cognitive Science , Dublin, Ireland.
  Available in pdf, ps, BibTeX, and pdf presentation (a minor error in the captions of Figures 3 and 4 and in the table on the last page of the paper has been corrected).
• M.R.C. van Dongen
  A Generalisation of the Backtracking Algorithm. To be presented at the Second International Workshop on Modelling and Reformulating Constraint Satisfaction Problems , Kinsale, Ireland.
  Available in pdf, ps and BibTeX.
• M.R.C. van Dongen
  Domain-Heuristics for Arc-Consistency Algorithms.
  In Recent Advances in Constraints, Volume 2627 of Lecture Notes in Artificial Intelligence , pages 61--75.
  Available in BibTeX.
• M.R.C. van Dongen
  Lightweight MAC Algorithms.
  Technical Report TR-02-2003, Cork Constraint Computation Centre, Cork, Ireland.
  Available in pdf, ps and BibTeX.
• M.R.C. van Dongen
  Lightweight Arc-Consistency Algorithms.
  Technical Report TR-01-2003, Cork Constraint Computation Centre, Cork, Ireland.
  Available in pdf, ps and BibTeX.

2002

• M.R.C. van Dongen
  Constraints, Varieties, and Algorithms.
  Ph.D. Thesis, Computer Science Department, University College Cork, Cork, Ireland.
  Available in pdf, pdf.gz, ps, ps.gz and BibTeX.
• M.R.C. van Dongen
  AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.
  In Proc. CP'2002, pages 755--760, Ithaca, NY, USA.
  Available in pdf, ps and BibTeX.
• M.R.C. van Dongen
  AC-3d an Efficient Arc-Consistency Algorithm with a Low Space-Complexity.
  Technical Report TR-01-2002, Cork Constraint Computation Centre, Cork, Ireland. This is an extended version of the CP'2002 paper.
  Available in pdf, ps and BibTeX.
• M.R.C. van Dongen
  Domain-Heuristics for Arc-Consistency Algorithms.
  In Proc. ERCIM/CologNet Workshop (2002) , pages 72--83, Cork, Ireland.
  Available in pdf, ps, pdf presentation and BibTeX.

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.

2000

• M.R.C. van Dongen
  A Theoretical Analysis of Domain-Heuristics for Arc-Consistency Algorithms.
  Technical Report: TR0004, Computer Science Department, University College Cork, Cork, Ireland.
  Available in pdf, ps and BibTeX.
• M.R.C. van Dongen and J.A. Bowen
  Improving Arc-Consistency Algorithms with Double-Support Checks.
  In Proc. AICS'2000 , pages 140--149, Galway, Ireland.
  Available in pdf, ps, pdf presentation and BibTeX.

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.

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.

1996

• M.R.C. van Dongen, B.A. O'Sullivan, and J.A. Bowen
  Using the Expressive Power of Constraint Programming to Simplify the Task of Expressing DFX Guidelines.
  Technical Report TR-UCC-CPG-96-01, Constraint Processing Group, University Collge Cork, Cork, Ireland.
  Available in pdf, ps and in BibTeX.

1992

• M.R.C. van Dongen
  Automated OCCAM Program Generation with REDUCE for the Parallel Solution of a Class of Partial Differential Equations,
  Master's Thesis, Computer Science Department, University of Twente, Enschede, the Netherlands.
  Also available as Technical Report IN-92-039, Dutch Aerospace Laboratory, Anthony Fokkerweg 2, Amsterdam, the Netherlands.
  Available in BibTeX.