Andrea Rendl

email
andrea at cs.st-andrews.ac.uk

office
Andrea Rendl
University of St Andrews
Jack Cole Building
North Haugh, St Andrews
KY16 9SS, Scotland, UK

phone
+44 1334 463257

Hello everybody!

I am a PhD research student at the University of St Andrews under supervision of Ian Miguel and Ian Gent since September 2006. I received my BSc and MSc degree at Graz University of Technology in Austria.

I am working in Constraint Programming where I'm especially interested in problem modelling, reformulation and automated 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 research is funded by an EPSRC grant and a DOC fFORTE scholarship provided by the Austrian Academy of Sciences.

I am member of the CP Pod research group and CIRCA.

Publications

1. The Cost of Flattening with Common Subexpression Elimination
   Andrea Rendl, Ian Miguel and Ian P. Gent, in Proceedings of ModRef 2009, pp. 117-131
2. Common Subexpressions in Constraint Models of Planning Problems
   Andrea Rendl, Ian Miguel, Ian P. Gent and Peter Gregory, in SARA 2009 to be published
3. Enhancing Constraint Model Instances during Tailoring
   Andrea Rendl, Ian Miguel, Ian P. Gent and Chris Jefferson, in SARA 2009 to be published
4. A Constraint Model for the Settlers Planning Domain
   Peter Gregory and Andrea Rendl, at PLANSIG 2008, pp41-49, 2008.
5. 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.
   
6. 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.

Software

• I'm developping Tailor, a tool that compiles (and enhances) constraint problems formulated in Essence' or XML format XCSP 2.1 to the input format of solvers Minion and Gecode (the latter is not stable yet), and to the low-level language FlatZinc. Essence' is a solver-independent constraint modelling language and Essence' examples can be found here. There is also a tutorial on how to use Tailor and model with Essence'.

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