|

|
Andrea Rendl
School of Computer Science
University of St Andrews, United Kingdom
|
contact
andrea at cs.st-andrews.ac.uk
+44 1334 463257
office
Jack Cole Building, room 0.21
School of Computer Science
North Haugh, St Andrews
KY16 9SS, Scotland, UK
|
|
Hello everybody!
I am a postdoctoral researcher at the Unversity of St Andrews
holding a PhD+ postdoctoral fellowship provided by
EPSRC UK.
My PhD project was supervised
by
Ian Miguel
and Ian
Gent and I received my Bachelor's and Master's degree
in Telematics at
Graz University
of Technology in Austria.
I'm currently working in the area of Constraint Programming where I'm
interested in problem modelling and automated model enhancement.
My current research is concerned with finding and applying automated enhancement
techniques during the process of compiling a high-level constraint model to
solver input for different constraint solvers. My aim is to extend the compilation
process with computationally cheap enhancement procedures that can achieve
significant model improvements. During my PhD project I have implemented the tool
Tailor that compiles constraint models and performs
effective but cheap enhancements.
I am member of the CP Pod research group and
CIRCA.
Software
- I'm the developper and maintainer of Tailor,
an interactive modelling tool that compiles and enhances
constraint problems formulated in solver-independent constraint modelling languages to solver
input. More specifically, it translates models formulated in either
Essence'
or XML format XCSP 2.1
to input of the two solvers
Minion (text format)
and Gecode(C++) (translation to the latter is restricted), and
also targets
the low-level language FlatZinc.
In its most recent release, Tailor can execute the target solver in the graphical user
interface, and returns the solutions directly from the solver, which facilitates modelling and
solving, especially for novices to Constraint Programming.
To get started with Tailor, have a look
at Tailor's website that contains an
extensive set of
Essence' examples.
There is also a detailed tutorial [pdf]
(from the ACP Summer School 2008)
on how to use Tailor and model with Essence'.
Tailor is available as Java binary
and can be obtained for free. Tailor's source code has been removed from Minion's public svn repository, but
if you are interested in the source code, then drop me an email.
Publications
-
The Cost of Flattening with Common Subexpression Elimination
Andrea Rendl, Ian Miguel and Ian P. Gent,
in Proceedings of ModRef 2009, pp. 117-131
-
Common Subexpressions in Constraint Models of Planning Problems
Andrea Rendl, Ian Miguel, Ian P. Gent and Peter Gregory,
in SARA 2009, AAAI Press. to be published
-
Enhancing Constraint Model Instances during Tailoring
Andrea Rendl, Ian Miguel, Ian P. Gent and Chris Jefferson,
in SARA 2009, AAAI Press. to be published
- A Constraint Model for the Settlers Planning Domain
Peter Gregory and Andrea Rendl, at
PLANSIG 2008, pp41-49, 2008.
- Constraint Model Enhancement by Common Subexpression Elimination
Andrea Rendl, Ian P. Gent and Ian Miguel.
Proceedings of the
Doctoral Consortium
at
CP 2008
, pp72-78, 2008.
- Common Subexpression Elimination in Automated Constraint Modelling
Ian P. Gent, Ian Miguel and Andrea Rendl.
Proceedings of the
Workshop on Modeling and Solving Problems with Constraints
, pp24-30, 2008.
- Reformulation during Automated Constraint Modelling
Andrea Rendl, Ian P. Gent, Ian Miguel. Doctoral Programme of CP 2007, pp139-145, 2007.
- Tailoring Solver-independent Constraint Models: A Case Study with Essence' and Minion
Ian P. Gent, Ian Miguel, Andrea Rendl. Proceedings of
SARA 2007, pp184-199, 2007.
Activities
- CP 2009
15th Conference on Principles and Practice of Constraint Programming, September 2009, Lisbon, Portugal.
- SARA 2009,
8th Symposium on Abstraction, Reformulation and Approximation, July 2009, Lake Arrowhead, California.
- PLANSIG 2008,
The 27th Workshop on Planning and Scheduling Special Interest Group
December 2008, Edinburgh, UK
- CP 2008
14th Conference on Principles and Practice of Constraint Programming, September 2008, Sydney, Australia
- ECAI 2008
18th European Conference on Artificial Intelligence, July 2008, Patras, Greece
- ACP Summer School 2008
July 2008, St Andrews, UK
- CP 2007
13th Conference on Principles and Practice of Constraint Programming, September 2007, Providence, USA
- AAAI 2007
22nd Conference on Artificial Intelligence, July 2007, Vancouver, Canada
- SARA 2007
7th Symposium on Abstraction, Reformulation and Approximation, July 2007, Whistler, Canada
- ACP Summer School
Third International Summer School on Constraint Programming, June 2007, Lloret del Mar, Spain
- International Symmetry Conference
January 2007, Edinburgh, UK
- CP 2006
12th Conference on Principles and Practice of Constraint Programming, September 2006, Nantes, France
last modified: January 26, 2009