|
Index
[ 2013 ]
[ 2012 ]
[ 2011 ]
[ 2010 ]
[ 2009 ]
[ 2008 ]
[ 2007 ]
[ 2006 ]
[ 2005 ]
[ 2004 ]
[ 2003 ]
[ 2002 ]
[ 2001 ]
[ 2000 ]
[ 1999 ]
[ 1997 ]
[ 1996 ]
|
2013
-
@article{Jefferson:et:al:2013,
title = {Representing and Solving Finite-Domain
Constraint Problems using Systems of Polynomials},
author = {Jefferson, Christopher and
Jeavons, Peter and
Green, Martin~J and
van Dongen, Marc R. C.},
year = {2013},
journal = {Annals of Mathematics and Artificial Intelligence},
number = {3--4},
pages = {359--382},
volume = {67},
}
Top of page
2012
-
@Book{vanDongen:2012,
author = {van~Dongen, M.\,R.\,C.},
title = {{\LaTeX} and Friends},
publisher = {Springer},
year = {2012},
isbn = {978-3-642-23815-4},
url = {http://www.springer.com/computer/media+design/book/978-3-642-23815-4},
note = {See \url{http://www.tug.org/books/reviews/tb102reviews-ltxfriends.html} for a review.},
}
Top of page
2011
-
@Article{Januschowski:et:al,
title = {Symmetry Breaking with Polynomial Delay},
author = {Januschowski, Tim, and
Smith, Barbara~M., and
van~Dongen, M.\,R.\,C.},
journal = {Constraint Programming Letters},
note = {Accepted for publication},
}
Top of page
2010
-
@Article{Lecoutre:Roussel:vanDongen:2010,
author = {Lecoutre, Christophe and
Roussel, Olivier and
van~Dongen, M.\,R.\,C.},
title = {Promoting Robust Black-box Solvers through Competitions},
journal = {Journal of Constraints},
publisher = {Springer},
volume = {15},
number = {3},
year = {2010},
pages = {317--326},
}
Top of page
2009
-
@Article{Januschowski:Smith:vanDongen:2009,
title = {Foundations of Symmetry Breaking Revisited},
author = {Januschowski, Tim and
Smith, Barbara~M. and
van~Dongen, M.\,R.\,C.},
booktitle = {Proceedings of the Ninth
International Workshop on
Symmetry in Constraint Satisfaction Problems},
year = {2009},
editor = {Benhamou, B. and
Fukunaga, A. and
Sellmann, M.},
pages = {17--24},
}
Top of page
2008
-
@Article{Dongen:et:al:2008:cpl,
author = {van~Dongen, M.\,R.\,C. and
Dieker, A.\,B. and
Sapozhnikov, A.},
title = {The Expected value and the Variance of
the Checks Required by Revision Algorithms},
journal = {Constraint Programming Letters},
volume = {2},
editor = {van~Dongen, M.\,R.\,C.},
pages = {55--77},
year = {2008},
}
-
@InProceedings{Dongen:Lecoutre:Roussel:2008:competition,
author = {van~Dongen, M.\,R.\,C. and
Lecoutre, Christophe and
Roussel, Olivier},
title = {Results of the Second {CSP} Solver Competition},
pages = {1--10},
booktitle = {Proceedings of the Second International
{CSP} Solver Competition},
editor = {van~Dongen, M.\,R.\,C. and
Lecoutre, Christophe and
Roussel, Olivier},
year = {2008},
}
-
@InProceedings{Dongen:2008:competition,
author = {van~Dongen, M.\,R.\,C.},
title = {Introducing ${\it buggy}_{2-5}$ and
${\it buggy}^{s}_{2-5}$},
pages = {71--74},
booktitle = {Proceedings of the Second International
{CSP} Solver Competition},
editor = {van~Dongen, M.\,R.\,C. and
Christophe Lecoutre, and
Olivier Roussel},
year = {2008},
}
-
@Article{Dongen:2008:cpl:intro,
author = {van~Dongen, M.\,R.\,C.}
title = {Introduction to the Special volume on Arc Consistency},
journal = {Constraint Programming Letters},
editor = {van~Dongen, M.\,R.\,C.},
pages = {1--2},
volume = {2},
year = {2008},
}
-
@Misc{Dongen:2008,
editor = {van~Dongen, M.\,R.\,C.},
booktitle = {Special Issue on Arc Consistency},
volume = {2},
journal = {Constraint Programming Letters},
year = {2008},
}
Top of page
2007
-
@InProceedings{Mehta:vanDongen:07:ijcai,
author = {Mehta, D. and van~Dongen, M.\,R.\,C.},
title = {Probabilistic Consistency Boosts MAC and SAC},
booktitle = {Proceedings of the Twentieth International Joint Conference
on Artificial Intelligence
(IJCAI'2007)},
year = {2007},
}
-
@InProceedings{Jefferson:et:al:2007:macis,
author = {Jefferson, Chris and
Jeavons, Peter and
Green, Martin~J. and
van~Dongen, M.\,R.\,C.},
booktitle = {Mathematical Aspects of Computer and Information Sciences},
title = {Representing and Solving
Finite-Domain Constraint Problems
Using Systems of Polynomials},
year = {2007}}
}
-
@TechReport{Jefferson:et:al:2007:TR,
author = {Jefferson, Chris and
Jeavons, Peter and
Green, Martin~J. and
van~Dongen, M.\,R.\,C.},
title = {Representing and Solving
Finite-Domain Constraint Problems
Using Systems of Polynomials},
number = {RR-07-07},
year = {2007},
institution = {Oxford University Computing Laboratory},
}
-
@InBook{Dongen:07:visual,
author = {van~Dongen, M.\,R.\,C.},
title = {Solving the ``Zebra Problem''},
booktitle = {Visual Practice Accross the University},
pages = {194--198},
editor = {Elkins, James},
publisher = {Wilhelm Fink Verlag},
isbn = {978-3-7705-4373-1},
year = {2007},
}
}
Top of page
2006
-
@InProceedings{Dongen:06:ecai,
author = {van~Dongen, M.\,R.\,C.},
title = {Beyond Singleton Arc Consistency},
booktitle = {Proceedings of the Seventeenth
European Conference on Artificial (ECAI'2006)},
url = {\url{http://csweb.ucc.ie/~dongen/papers/ECAI/06/ecai06.pdf}},
year = {2006},
}
-
@Book{Dongen:Lecoutre:06:cpai,
title = {Proceedings of the Third International Workshop
on Constraint Propagation And Implementation},
editor = {van~Dongen, M.\,R.\,C. and Lecoutre, Christophe~},
year = {2006},
url = {\url{http://cpai.ucc.ie/06/CPAI06.pdf}},
}
Top of page
2005
-
@InProceedings{Mehta:vanDongen:05:ijcai,
author = {Mehta, D. and van~Dongen, M.\,R.\,C.},
title = {Reducing Checks and Revisions in Coarse-Grained MAC Algorithms},
booktitle = {Proceedings of the Nineteenth International Joint Conference
on Artificial Intelligence
(IJCAI'2005)},
url = {\url{http://ijcai.org/papers/0820.pdf}},
pages = {236--241},
year = {2005},
}
-
@InProceedings{Mehta:vanDongen:05:values,
author = {Mehta, D. and
van~Dongen, M.\,R.\,C.},
title = {Static Value Ordering Heuristics for
Constraint Satisfaction Problems},
booktitle = {Proceedings of the Second International Workshop on
Constraint Propagation
And Implementation},
editor = {van~Dongen, M.\,R.\,C.},
pages = {49--62},
year = {2005},
}
-
@Book{Dongen:2005:cpai:Vol_I,
title = {Proceedings of the Second International Workshop
on Constraint Propagation And Implementation},
editor = {van~Dongen, M.\,R.\,C.},
year = {2005},
url = {\url{http://cpai.ucc.ie/05/CPAI_Vol_I.pdf}},
volume = {I},
}
-
@Book{Dongen:2005:cpai:Vol_II,
title = {Proceedings of the Second International Workshop
on Constraint Propagation And Implementation},
editor = {van~Dongen, M.\,R.\,C.},
year = {2005},
url = {\url{http://cpai.ucc.ie/05/CPAI_Vol_II.pdf}},
volume = {II},
}
-
@InProceedings{Dongen:05:tables,
author = {van~Dongen, M.\,R.\,C.},
title = {Tables, Barcharts, and Graphs},
booktitle = {Proceedings of the Second International Workshop
on Constraint Propagation And Implementation},
volume = {II},
year = {2005},
pages = {33--47},
}
-
@InProceedings{Dongen:2005:20000,
author = {van~Dongen, M.\,R.\,C.},
title = {20\,000 Bytes Under the {C},
A Voyage to the Centre of a {CSP} Solver},
booktitle = {Proceedings of the Second International Workshop
on Constraint Propagation And Implementation},
volume = {II},
year = {2005},
pages = {33--47},
}
Top of page
2004
-
@InProceedings{Dongen:Mehta:04:cp,
author = {van~Dongen, M.\,R.\,C. and Mehta, D.},
title = {Queue Representation of Arc Consistency Algorithms},
booktitle = {Proceedings of the Fifteenth
Irish Conference on Artificial Intelligence and
Cognitive Science (AICS'2004)},
editor = {McGinty, L. and Crean, B.},
pages = {334--343},
url = {\url{http://csweb.ucc.ie/~dongen/papers/AICS/04/aics04.pdf}},
year = {2004},
}
-
@InProceedings{Mehta:vanDongen:04:cp,
author = {Mehta, D. and van~Dongen, M.\,R.\,C.},
title = {Two New Lightweight Arc Consistency Algorithms},
year = {2004},
booktitle = {Proceedings of the First International Workshop on
Constraint Propagation and Implementation (CPAI'2004)},
url = {\url{http://csweb.ucc.ie/~dongen/papers/CP/04/cpai04.pdf}},
editor = {van~Dongen, M.\,R.\,C.},
pages = {109--123},
}
-
@InProceedings{Dongen:04:cp,
author = {van~Dongen, M.\,R.\,C.},
title = {Computing the Frequency of Partial Orders},
year = {2004},
pages = {772--776},
booktitle = {Proceedings of the Tenth International Conference on
Principles and Practice of Constraint Programming (CP'2004)},
editor = {Wallace, M.},
series = {Lecture notes in Computer Science},
url = {\url{http://csweb.ucc.ie/~dongen/papers/CP/04/count.pdf}},
publisher = {Springer-Verlag},
note = {Accepted for publication},
}
-
@Article{Dongen:04:aireview,
author = {van~Dongen, M.\,R.\,C.},
title = {Saving Support-Checks Does Not Always Save Time},
year = {2004},
volume = {21},
number = {3--4},
journal = {Artificial Intelligence Review},
pages = {317--334},
}
Top of page
2003
-
@InCollection{Dongen:03:ai,
author = {van~Dongen, M.\,R.\,C.},
title = {Lightweight {MAC} Algorithms},
year = {2003},
booktitle = {Proceedings of the $23^{\text{rd}}$
{SGAI} International Conference on
Innovative Techniques and Applications of Artificial
Intelligence (AI-2003)},
note = {Accepted for publication},
publisher = {Springer},
} -
@InProceedings{Dongen:03:aics,
author = {van~Dongen, M.\,R.\,C.},
title = {To Avoid Repeating Checks Does Not Always Save Time},
year = {2003},
editor = {Cunningham, P. and
Fernando, T. and
Vogel, C.},
booktitle = {Proceedings of the $14^{\text{th}}$
Irish Conference on Artificial Intelligence and Cognitive Science},
pages = {223--228},
url = {\url{http://csweb.ucc.ie/~dongen/papers/AICS/03/aics03.pdf}},
} -
@InProccedings{Dongen:03:cp,
author = {van~Dongen, M.\,R.\,C.},
title = {A Generalisation of the Backtracking Algorithm},
booktitle = {Procceeding of
the Second International Workshop on
Modelling and Reformulating Constraint Satisfaction Problems},
year = {2003},
pages = {158--173},
editor = {Frisch, A.},
url = {\url{http://csweb.ucc.ie/~dongen/papers/CP/03/cp03.pdf}},
} -
@InCollection{Dongen:03:lnai,
author = {van~Dongen, M.\,R.\,C.},
title = {Domain-Heuristics for Arc-Consistency Algorithms},
year = {2003},
booktitle = {Recent Advances in Constraints},
series = {Lecture Notes in Artificial Intelligence},
volume = {2627},
editor = {O'Sullivan, B.},
pages = {61--75},
publisher = {Springer},
} -
@Techreport{Dongen:03:TR:02,
author = {van~Dongen, M.\,R.\,C.},
title = {Lightweight MAC Algorithms},
year = {2003},
number = {TR-02-2003},
institution = {Cork Constraint Computation Centre},
url = {\url{http://csweb.ucc.ie/~dongen/papers/4C/03/TR-02-2003.pdf}},
} -
@Techreport{Dongen:03:TR:01,
author = {van~Dongen, M.\,R.\,C.},
title = {Lightweight Arc-Consistency Algorithms},
year = {2003},
number = {TR-01-2003},
institution = {Cork Constraint Computation Centre},
url = {\url{http://csweb.ucc.ie/~dongen/papers/4C/03/TR-01-2003.pdf}},
}
Top of page
2002
-
@PhdThesis{Dongen:02:phd,
author = {van~Dongen, M.\,R.\,C.},
title = {Constraints, Varieties, and Algorithms},
year = {2002},
school = {Department of Computer Science,
University College, Cork, Ireland},
url = {\url{http://csweb.ucc.ie/~dongen/papers/UCC/02/thesis.pdf}},
}
-
@InProceedings{Dongen:02:ercim,
author = {van~Dongen, M.\,R.\,C.},
title = {Domain-Heuristics for Arc-Consistency Algorithms},
year = {2002},
booktitle = {Joint Workshop of the ERCIM Working Group on Constraints
and the CologNet area on Constraint and Logic Programming on
Constraint Solving and Constraint Logic Programming, Cork},
editor = {Apt, K.\,R. and
Fages, F. and
Freuder, E.\,G. and
O'Sullivan, B. and
Rossi, F. and
Walsh, T.},
pages = {72--83},
url = {\url{http://csweb.ucc.ie/~dongen/papers/ERCIM/02/ercim02.pdf}},
}
-
@InProceedings{Dongen:02:cp,
author = {van~Dongen, M.\,R.\,C.},
title = {$\text{AC-3}_d$ an Efficient Arc-Consistency
Algorithm with a Low Space-Complexity},
year = {2002},
booktitle = {Proceedings of the Eighth International Conference on
Principles and Practice of Constraint Programming (CP'2002)},
editor = {Van Hentenryck, P.},
pages = {755--760},
series = {Lecture notes in Computer Science},
volume = {2470},
note = {Two embarassing errors on the first page have been fixed:)},
url = {\url{http://csweb.ucc.ie/~dongen/papers/CP/02/cp02.pdf}},
publisher = {Springer},
}
-
@Techreport{Dongen:02:TR:01,
author = {van~Dongen, M.\,R.\,C.},
title = {$\text{AC-3}_d$ an Efficient Arc-Consistency
Algorithm with a Low Space-Complexity},
year = {2002},
number = {TR-01-2002},
institution = {Cork Constraint Computation Centre},
url = {\url{http://csweb.ucc.ie/~dongen/papers/4C/02/TR-01-2002.pdf}},
}
Top of page
2001
-
@InProceedings{Dongen:01:aics,
author = {van~Dongen, M.\,R.\,C.},
title = {Domain Heuristics
for Arc-Consistency Algorithms},
year = {2001},
booktitle = {Proceedings of the Twelfth Irish Conference
on Artificial Intelligence and Cognitive Science
({AICS}'2001)},
editor = {O'Donoghue, D.},
pages = {179--188},
year = {2001},
url = {\url{http://csweb.ucc.ie/~dongen/papers/AICS/01/fish.pdf}},
}
-
@InProceedings{Dongen:01:jfplc,
author = {van~Dongen, M.\,R.\,C.},
title = {A Theoretical Analysis of
the Average Time-Complexity of
Domain-Heuristics
for Arc-Consistency Algorithms},
booktitle = {Proceedings of the Tenth International
French Speaking Conference on
Logic and Constraint Programming ({JFPLC}'2001)},
editor = {Codognet, Philippe},
year = {2001},
pages = {27--41},
url = {\url{http://csweb.ucc.ie/~dongen/papers/JFPLC/01/jfplc01.pdf}},
}
Top of page
2000
-
@TechReport{Dongen:00:tr,
author = {van~Dongen, M.\,R.\,C.},
title = {A Theoretical Analysis of
Domain-Heuristics
for Arc-Consistency Algorithms},
institution = {Computer Science Department, UCC},
address = {Cork, Ireland},
year = {2000},
url = {\url{http://csweb.ucc.ie/~dongen/papers/UCC/00/TR0004.pdf}},
}
-
@InProceedings{Dongen:Bowen:00:aics,
author = {van~Dongen, M.\,R.\,C. and
Bowen, J.\,A.},
title = {Improving Arc-Consistency Algorithms with
Double-Support Checks},
booktitle = {Proceedings of the Eleventh Irish Conference
on Artificial Intelligence and Cognitive Science
({AICS}'2000)},
pages = {140--149},
year = {2000},
url = {\url{http://csweb.ucc.ie/~dongen/papers/AICS/00/aics00.pdf}},
}
Top of page
1999
-
@InProceedings{Dongen:99:aics,
author = {van~Dongen, M.\,R.\,C.},
title = {Using {G}r{\"o}bner Basis Theory to
Compute Constraint Networks in Globally Solved Form},
booktitle = {Proceedings of the Tenth Irish Conference
on Artificial Intelligence and Cognitive Science
({AICS}'1999)},
pages = {15--21},
year = {1999},
editor = {Bridge, D. and
Byrne, R. and
O'Sullivan, B. and
Prestwich, S. and
Sorensen, H.},
url = {\url{http://csweb.ucc.ie/~dongen/papers/AICS/99/aics99.pdf}},
}
Top of page
1997
-
@TechReport{Dongen:97:tr,
author = {van~Dongen, M.\,R.\,C.},
title = {$\text{AC-3}_{b}$,
an Efficient Arc-Consistency Algorithm
with Low Space-Complexity},
number = {TR-97-01},
institution = {Department of Computer Science,
National University of Ireland, Cork},
address = {College Road, Cork, Ireland},
year = {1997},
}
-
@Inproceedings{Dongen:et:al:97:ice,
author = {van~Dongen, M.\,R.\,C. and
O'Sullivan, B.\,A. and
Bowen, J.\,A. and
Ferguson, A.\,B. and
Baggaley, M.},
title = {Using Constraint Programming
to Simplify the Task of Specifying {DFX} Guidelines},
booktitle = {Proceedings of the First International
Conference on Concurrent Enterprising},
pages = {129--138},
isbn = {0-951-9759-6X},
year = {1997},
optannote = {Have It},
url = {\url{http://csweb.ucc.ie/~dongen/papers/ICE/97/ice97.pdf}},
}
-
@InProceedings{Dongen:et:al:97:ercim,
author = {van~Dongen, M.\,R.\,C. and
O'Sullivan, B.\,A. and
Bowen, J.\,A. and
Ferguson, A.\,B.},
title = {Integrating a Constraint Based Language with
an Existing Database},
year = {1997},
booktitle = {Proceedings of the ERCIM/Compulog Workshop
in Linz, Austria},
}
Top of page
1996
-
@TechReport{Dongen:et:al:96,
author = {van~Dongen, M.\,R.\,C. and
O'Sullivan, B.\,A. and
Bowen, J.\,A.},
title = {Using the Expressive Power of Constraint Programming
to Simplify the Task of Expressing {DFX} Guidelines},
year = {1996},
number = {TR-UCC-CS-CPG-96-01},
institution = {Computer Science Department,
University College Cork},
Addres = {College Road, Cork, Ireland},
url = {\url{http://csweb.ucc.ie/~dongen/papers/UCC/96/TR-UCC-CS-CPG-96-01.pdf}},
}
Top of page
|
Marc van Dongen