Index
[ 2012 ]
[ 2011 ]
[ 2010 ]
[ 2009 ]
[ 2008 ]
[ 2007 ]
[ 2006 ]
[ 2005 ]
[ 2004 ]
[ 2003 ]
[ 2002 ]
[ 2001 ]
[ 2000 ]
[ 1999 ]
[ 1997 ]
[ 1996 ]
[ 1992 ]
|
-
M.R.C. van Dongen
LaTeX and Friends.
Available in
BibTeX.
Back to index
-
Tim Januschowski,
Barbara M. Smith, and
M.R.C. van Dongen
Symmetry Breaking with Polynomial Delay.
Available in
BibTeX.
Back to index
-
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
-
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
Back to index
- 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
Back to index
-
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
-
M.R.C. van Dongen
Computing the Frequency of Partial Orders.
In Proc. CP'2004
©,
Toronto, Canada.
Available in
pdf,
ps, and
BibTeX.
An extended version of the paper may be found by following
the following
link.
-
D. Mehta and M.R.C. van Dongen
Two New Lightweight Arc Consistency Algorithms.
In Proc. CPAI'2004
Toronto, Canada.
Available in
pdf,
ps, and
BibTeX.
-
M.R.C. van Dongen and D. Mehta
Queue Representation for Arc Consistency Algorithms.
In Proc. AICS'2004
Castlebar, Ireland.
Available in
pdf,
ps, and
BibTeX.
-
M.R.C. van Dongen
Saving Support-Checks Does Not Always Save Time.
In Artificial Intelligence Review,
Volume 21, number 3--4.
Available in
BibTeX.
Back to index
-
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.
Back to index
-
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.
Back to index
-
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
-
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.
Back to index
-
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
- 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
Back to index
Back to index
|