| Publication | Date of Publication | Type |
|---|
| Computational complexity of necessary envy-freeness | 2024-04-09 | Paper |
| Learning constraints through partial queries | 2023-06-27 | Paper |
| Expected Outcomes and Manipulations in Online Fair Division | 2022-11-02 | Paper |
| Most Competitive Mechanisms in Online Fair Division | 2022-11-02 | Paper |
| The satisfiability constraint gap | 2022-09-22 | Paper |
| On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage | 2022-06-13 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3388740 | 2021-05-06 | Paper |
| Barriers to Manipulation in Voting | 2020-11-12 | Paper |
| A divergence critic | 2020-01-21 | Paper |
| Termination orderings for rippling | 2020-01-21 | Paper |
| Local search approaches in stable matching problems | 2019-03-26 | Paper |
| Stability, optimality and manipulation in matching problems with weighted preferences | 2019-03-26 | Paper |
| Fixing balanced knockout and double elimination tournaments | 2019-01-18 | Paper |
| Equilibria in sequential allocation | 2018-10-25 | Paper |
| Orbital shrinking: theory and applications | 2018-09-25 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4576211 | 2018-07-12 | Paper |
| h-Index Manipulation by Undoing Merges | 2018-07-12 | Paper |
| Three generalizations of the FOCUS constraint | 2017-08-16 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5283030 | 2017-07-18 | Paper |
| Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty | 2017-07-13 | Paper |
| Justified representation in approval-based committee voting | 2017-05-23 | Paper |
| \(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments | 2016-10-21 | Paper |
| A Study of Proxies for Shapley Allocations of Transport Costs | 2016-09-07 | Paper |
| Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study | 2016-06-09 | Paper |
| Fair assignment of indivisible objects under ordinal preferences | 2015-12-21 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3455590 | 2015-12-11 | Paper |
| Multiset variable representations and constraint propagation | 2014-12-12 | Paper |
| Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules | 2014-10-27 | Paper |
| SAT and Hybrid Models of the Car Sequencing Problem | 2014-05-27 | Paper |
| Buffered Resource Constraint: Algorithms and Complexity | 2014-05-27 | Paper |
| Answer Set Solving with Lazy Nogood Generation | 2014-02-25 | Paper |
| Restricted Manipulation in Iterative Voting: Condorcet Efficiency and Borda Score | 2013-12-17 | Paper |
| Efficient Approximation of Well-Founded Justification and Well-Founded Domination | 2013-10-10 | Paper |
| An Adaptive Model Restarts Heuristic | 2013-06-04 | Paper |
| Modelling Grammar Constraints with Answer Set Programming. | 2012-08-29 | Paper |
| New algorithms for max restricted path consistency | 2012-06-20 | Paper |
| Is computational complexity a barrier to manipulation? | 2012-01-13 | Paper |
| Incompleteness and incomparability in preference aggregation: complexity results | 2011-11-17 | Paper |
| Online Cake Cutting | 2011-10-28 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3011301 | 2011-06-28 | Paper |
| The weighted grammar constraint | 2011-06-22 | Paper |
| Symmetry Breaking for Distributed Multi-Context Systems | 2011-05-26 | Paper |
| The AllDifferent Constraint with Precedences | 2011-05-26 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2999220 | 2011-05-11 | Paper |
| Permutation Problems and Channelling Constraints | 2011-05-06 | Paper |
| Parameterized Complexity Results in Symmetry Breaking | 2010-12-07 | Paper |
| A translational approach to constraint answer set solving | 2010-08-19 | Paper |
| Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies | 2010-05-07 | Paper |
| Principles and Practice of Constraint Programming – CP 2003 | 2010-03-02 | Paper |
| Tetravex is NP-complete | 2010-01-29 | Paper |
| Manipulating Tournaments in Cup and Round Robin Competitions | 2009-11-17 | Paper |
| Compact Preference Representation in Stable Marriage Problems | 2009-11-17 | Paper |
| Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints | 2009-09-14 | Paper |
| Filtering algorithms for the multiset ordering constraint | 2009-08-31 | Paper |
| Combining Symmetry Breaking and Global Constraints | 2009-08-06 | Paper |
| Theory and Applications of Satisfiability Testing | 2009-07-24 | Paper |
| Domain filtering consistencies for non-binary constraints | 2009-07-17 | Paper |
| Aggregating Partially Ordered Preferences | 2009-06-12 | Paper |
| Reformulating Global Grammar Constraints | 2009-06-03 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Beyond Finite Domains: The All Different and Global Cardinality Constraints | 2008-09-09 | Paper |
| The ROOTS Constraint | 2008-09-09 | Paper |
| General Symmetry Breaking Constraints | 2008-09-09 | Paper |
| Global Grammar Constraints | 2008-09-09 | Paper |
| Principles and Practice of Constraint Programming – CP 2004 | 2008-09-09 | Paper |
| Encodings of the Sequence Constraint | 2008-09-02 | Paper |
| Breaking Symmetry of Interchangeable Variables and Values | 2008-09-02 | Paper |
| Decomposing Global Grammar Constraints | 2008-09-02 | Paper |
| Online Estimation of SAT Solving Runtime | 2008-05-27 | Paper |
| The Weighted Cfg Constraint | 2008-05-27 | Paper |
| Filtering Algorithms for the NValue Constraint | 2008-03-17 | Paper |
| Propagation algorithms for lexicographic ordering constraints | 2007-10-23 | Paper |
| The complexity of reasoning with global constraints | 2007-10-22 | Paper |
| Recent Advances in Constraints | 2007-05-02 | Paper |
| Recent Advances in Constraints | 2007-05-02 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2007-04-30 | Paper |
| Filtering algorithms for the NValue constraint | 2007-01-05 | Paper |
| Stochastic constraint programming: A scenario-based approach | 2006-11-03 | Paper |
| Hard and soft constraints for reasoning about qualitative conditional preferences | 2006-09-28 | Paper |
| Logic Programming | 2006-06-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q5715662 | 2006-01-04 | Paper |
| Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2005-12-27 | Paper |
| Hybrid modelling for robust solving | 2004-08-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473037 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4473043 | 2004-08-04 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4427907 | 2003-09-14 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4424851 | 2003-09-07 | Paper |
| On the notion of interestingness in automated mathematical discovery | 2003-04-03 | Paper |
| Binary vs. non-binary constraints | 2002-09-09 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4536728 | 2002-08-06 | Paper |
| Random constraint satisfaction: Flaws and structure | 2001-11-12 | Paper |
| Satisfiability in the Year 2000 | 2001-05-01 | Paper |
| Decomposable constraints | 2000-12-12 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264732 | 1999-10-10 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4264708 | 1999-10-07 | Paper |
| Calculating criticalities | 1998-07-23 | Paper |
| The TSP phase transition | 1998-07-23 | Paper |
| Abstract proof checking: An example motivated by an incompleteness theorem | 1998-06-29 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4386921 | 1998-05-10 | Paper |
| A calculus for and termination of rippling | 1996-06-11 | Paper |
| Easy problems are sometimes hard | 1995-01-11 | Paper |
| The inevitability of inconsistent abstract spaces | 1994-01-13 | Paper |
| A theory of abstraction | 1993-01-17 | Paper |
| https://portal.mardi4nfdi.de/entity/Q3490995 | 1989-01-01 | Paper |
