Conflict-Driven Disjunctive Answer Set Solving. - Christian Drescher; Martin Gebser; Torsten Grote; Benjamin Kaufmann; Arne König; Max Ostrowski; Torsten Schaub (KR, 2008)

Reformulation of Global Constraints in Answer Set Programming. - Christian Drescher; Toby Walsh (Abstraction, Reformulation, and Approximation, 2010)

Constraint Answer Set Programming Systems. - Christian Drescher (ICLP (Technical Communications), 2010)

Heuristics in Conflict Resolution - Christian Drescher; Martin Gebser; Benjamin Kaufmann; Torsten Schaub (CoRR, 2010)

Symmetry Breaking for Answer Set Programming - Christian Drescher (CoRR, 2010)

A translational approach to constraint answer set solving. - Christian Drescher; Toby Walsh (Theory Pract. Log. Program., 2010)

Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation. - Christian Drescher; Toby Walsh (AAAI, 2011)

Modelling Grammar Constraints with Answer Set Programming. - Christian Drescher; Toby Walsh (ICLP (Technical Communications), 2011)

Translation-Based Constraint Answer Set Solving. - Christian Drescher; Toby Walsh (IJCAI, 2011)

Symmetry Breaking for Distributed Multi-Context Systems. - Christian Drescher; Thomas Eiter; Michael Fink 001; Thomas Krennwallner; Toby Walsh (LPNMR, 2011)

Symmetry-breaking answer set solving. - Christian Drescher; Oana Tifrea; Toby Walsh (AI Commun., 2011)

Answer Set Solving with Lazy Nogood Generation. - Christian Drescher; Toby Walsh (ICLP (Technical Communications), 2012)

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

Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version). - Christian Drescher; Toby Walsh (CoRR, 2013)

Conflict-driven constraint answer set solving. - Christian Drescher (2015)

What Moves Players?: Visual Data Exploration of Twitter and Gameplay Data. - Christian Drescher; Guenter Wallner; Simone Kriglstein; Rafet Sifa; Anders Drachen; Margit Pohl (CHI, 2018)

Preliminary Validation of Electroporation-Electrolysis (E2) for Cardiac Ablation Using a Parameterisable In-Vivo Model. - Luke Zhao; Adam Rasko; Christian Drescher; Sanaz Maleki; Michael Cejnar; Alistair Lee McEwan (EMBC, 2019)

Evaluating the Quality of Finite Element Meshes with Machine Learning. - Joachim Sprave; Christian Drescher (CoRR, 2021)

Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology. - Stefan Studer; Thanh Binh Bui; Christian Drescher; Alexander Hanuschkin; Ludwig Winkler; Steven Peters; Klaus-Robert Müller (Mach. Learn. Knowl. Extr., 2021)

Characterizing Road Maps for Vehicle Endurance Testing with Machine Learning. - Bijin Muthiyackal Abraham; Christian Drescher; Daniel Markert; Ana Pérez Grassi; Alejandro Masrur (IV, 2024)

Implementing Rational Choice Functions with LLMs and Measuring their Alignment with User Preferences. - Anna Karnysheva; Christian Drescher; Dietrich Klakow (CoRR, 2025)