Index
[ 2004 ]
[ 2003 ]
[ 2002 ]
[ 2001 ]
[ 2000 ]
[ 1999 ]
[ 1997 ]
[ 1996 ]
|
2004
-
@Article{Dongen:04:aireview,
author = {van Dongen, M.R.C.~},
title = {Saving Support-Checks Does Not Always Save Time},
year = {2004},
journal = {Artificial Intelligence Review},
note = {Accepted for publication},
}
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
|