Christian Drescher

27 papers A* 4B 2C 1Journal 14Unranked 5
YearRankTypeTitle / Venue / Authors
2025 J jnl
Implementing Rational Choice Functions with LLMs and Measuring their Alignment with User Preferences.
CoRR
Anna Karnysheva, Christian Drescher, Dietrich Klakow
2024 C conf
Characterizing Road Maps for Vehicle Endurance Testing with Machine Learning.
IV
Bijin Muthiyackal Abraham, Christian Drescher, Daniel Markert, Ana Pérez Grassi, Alejandro Masrur
2021 J jnl
Evaluating the Quality of Finite Element Meshes with Machine Learning.
CoRR
Joachim Sprave, Christian Drescher
2021 J jnl
Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology.
Mach. Learn. Knowl. Extr.
Stefan Studer, Thanh Binh Bui, Christian Drescher, Alexander Hanuschkin, Ludwig Winkler, Steven Peters, Klaus-Robert Müller
2020 J jnl
Towards CRISP-ML(Q): A Machine Learning Process Model with Quality Assurance Methodology.
CoRR
Stefan Studer, Thanh Binh Bui, Christian Drescher, Alexander Hanuschkin, Ludwig Winkler, Steven Peters, Klaus-Robert Müller
2019 — conf
Preliminary Validation of Electroporation-Electrolysis (E2) for Cardiac Ablation Using a Parameterisable In-Vivo Model.
EMBC
Luke Zhao, Adam Rasko, Christian Drescher, Sanaz Maleki, Michael Cejnar, Alistair Lee McEwan
2018 A* conf
What Moves Players?: Visual Data Exploration of Twitter and Gameplay Data.
CHI
Christian Drescher, Guenter Wallner, Simone Kriglstein, Rafet Sifa, Anders Drachen, Margit Pohl
2015 — —
Conflict-driven constraint answer set solving.
Christian Drescher
2013 J jnl
Efficient Approximation of Well-Founded Justification and Well-Founded Domination (Corrected and Extended Version).
CoRR
Christian Drescher, Toby Walsh
2013 B conf
Efficient Approximation of Well-Founded Justification and Well-Founded Domination.
LPNMR
Christian Drescher, Toby Walsh
2012 — conf
Answer Set Solving with Lazy Nogood Generation.
ICLP (Technical Communications)
Christian Drescher, Toby Walsh
2011 A* conf
Conflict-Driven Constraint Answer Set Solving with Lazy Nogood Generation.
AAAI
Christian Drescher, Toby Walsh
2011 — conf
Modelling Grammar Constraints with Answer Set Programming.
ICLP (Technical Communications)
Christian Drescher, Toby Walsh
2011 J jnl
Symmetry Breaking for Distributed Multi-Context Systems
CoRR
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011 B conf
Symmetry Breaking for Distributed Multi-Context Systems.
LPNMR
Christian Drescher, Thomas Eiter, Michael Fink, Thomas Krennwallner, Toby Walsh
2011 J jnl
Symmetry-breaking answer set solving.
AI Commun.
Christian Drescher, Oana Tifrea, Toby Walsh
2011 A* conf
Translation-Based Constraint Answer Set Solving.
IJCAI
Christian Drescher, Toby Walsh
2011 J jnl
Translation-based Constraint Answer Set Solving
CoRR
Christian Drescher, Toby Walsh
2010 J jnl
A Translational Approach to Constraint Answer Set Solving
CoRR
Christian Drescher, Toby Walsh
2010 J jnl
A translational approach to constraint answer set solving.
Theory Pract. Log. Program.
Christian Drescher, Toby Walsh
2010 — conf
Constraint Answer Set Programming Systems.
ICLP (Technical Communications)
Christian Drescher
2010 J jnl
Heuristics in Conflict Resolution
CoRR
Christian Drescher, Martin Gebser, Benjamin Kaufmann, Torsten Schaub
2010 J jnl
Reformulation of Global Constraints in Answer Set Programming
CoRR
Christian Drescher, Toby Walsh
2010 — conf
Reformulation of Global Constraints in Answer Set Programming.
Abstraction, Reformulation, and Approximation
Christian Drescher, Toby Walsh
2010 J jnl
Symmetry Breaking for Answer Set Programming
CoRR
Christian Drescher
2010 J jnl
Symmetry-breaking Answer Set Solving
CoRR
Christian Drescher, Oana Tifrea, Toby Walsh
2008 A* conf
Conflict-Driven Disjunctive Answer Set Solving.
KR
Christian Drescher, Martin Gebser, Torsten Grote, Benjamin Kaufmann, Arne König, Max Ostrowski, Torsten Schaub