DrescherC

Christian Drescher

PhD Student
Neville Roach Laboratory

Christian Drescher

I am currently a PhD candidate under examination in Computer Science and Engineering at the Optimisation Research Group of NICTA and the University of New South Wales in Sydney, Australia, under supervision of Toby Walsh and Maurice Pagnucco.

After completing my BSc in Informatics and BEd in Informatics and Mathematics (for classroom teaching at grammar schools) in 2008 at the University of Potsdam, Germany, I graduated from the European Master's program in Computational Logic with a double MSc degree from the New University of Lisbon, Portugal, and the Vienna University of Technology, Austria, in 2010.

I have study and work experience in many different countries, within multicultural environments, and experience in teaching groups and individuals. My research interests include declarative problem solving (e.g., combinatorial optimisation) with answer set programming, Boolean satisfiability, and constraint programming.

I have implemented the award-winning solver claspD; the symmetry breaking tool sbass; and inca, the runners-up in a recent declarative problem model & solve competition.

See my curriculum vitae for more details.

You can send me confidential messages using my PGP public key.

Publications

Efficient Approximation of Well-Founded Justification and Well-Founded Domination. (pdf)
Christian Drescher and Toby Walsh. Proceedings of LPNMR-13, 2013.

Answer Set Solving with Lazy Nogood Generation. (pdf)
Christian Drescher and Toby Walsh. Proceedings of ICLP-12, 2012.

Translation-based Constraint Answer Set Solving. (pdf)
Christian Drescher and Toby Walsh. Proceedings of IJCAI-11, 2011.

Modelling Grammar Constraints with Answer Set Programming. (pdf)
Christian Drescher and Toby Walsh. Proceedings of ICLP-11, 2011.

Conflict-driven Constraint Answer Set Solving with Lazy Nogood Generation. (pdf)
Christian Drescher and Toby Walsh. Proceedings of AAAI-11, 2011.

Symmetry Breaking for Distributed Multi-Context Systems. (pdf)
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, and Toby Walsh. Proceedings of LPNMR-11, 2011.

Symmetry-breaking Answer Set Solving. (pdf)
Christian Drescher, Oana Tifrea, and Toby Walsh. AI Communications 24 (2), 2011.

A Translational Approach to Constraint Answer Set Solving. (pdf)
Christian Drescher and Toby Walsh. Proceedings of ICLP-10, Theory and Practice of Logic Programming 10 (4-6), 2010.

Constraint Answer Set Programming Systems. (pdf)
Christian Drescher. Proceedings of ICLP-10, 2010.

Reformulation of Global Constraints into Answer Set Programming. (pdf)
Christian Drescher and Toby Walsh. Proceedings of WARA-10, 2010.

Symmetry-breaking Answer Set Solving. (pdf)
Christian Drescher, Oana Tifrea, and Toby Walsh. Proceedings of ASPOCP-10, 2010.

Disjunctive Conflict-driven Answer Set Solving. (pdf)
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, and Torsten Schaub. Proceedings of KR-08, 2008.

Heuristics in Conflict Resolution. (pdf)
Christian Drescher, Martin Gebser, Benjamin Kaufmann, and Torsten Schaub. Proceedings of NMR-08, 2008.