| Publication | Date of Publication | Type |
|---|
Proportionality-based fairness and strategyproofness in the facility location problem
Journal of Mathematical Economics | 2025-08-19 | Paper |
| Maximin fair allocation of indivisible items under cost utilities | 2024-05-29 | Paper |
Corrigendum to: ``Learning constraints through partial queries
Artificial Intelligence | 2024-04-30 | Paper |
Computational complexity of necessary envy-freeness
Mathematical Social Sciences | 2024-04-09 | Paper |
Learning constraints through partial queries
Artificial Intelligence | 2023-06-27 | Paper |
| Two Algorithms for Additive and Fair Division of Mixed Manna | 2023-03-29 | Paper |
| Monotone and Online Fair Division | 2023-03-24 | Paper |
| Group Envy Freeness and Group Pareto Efficiency in Fair Division with Indivisible Items | 2023-03-24 | Paper |
Expected outcomes and manipulations in online fair division
KI 2017: Advances in Artificial Intelligence | 2022-11-02 | Paper |
Most competitive mechanisms in online fair division
KI 2017: Advances in Artificial Intelligence | 2022-11-02 | Paper |
The satisfiability constraint gap
Artificial Intelligence | 2022-09-22 | Paper |
On routing and scheduling a fleet of resource-constrained vessels to provide ongoing continuous patrol coverage
Annals of Operations Research | 2022-06-13 | Paper |
| Restricted manipulation in iterative voting: convergence and Condorcet efficiency | 2021-05-06 | Paper |
Restricted manipulation in iterative voting: convergence and Condorcet efficiency
(available as arXiv preprint) | 2021-05-06 | Paper |
| Barriers to manipulation in voting | 2020-11-12 | Paper |
Termination orderings for rippling
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
A divergence critic
Automated Deduction — CADE-12 | 2020-01-21 | Paper |
Local search approaches in stable matching problems
Algorithms | 2019-03-26 | Paper |
Stability, optimality and manipulation in matching problems with weighted preferences
Algorithms | 2019-03-26 | Paper |
Fixing balanced knockout and double elimination tournaments
Artificial Intelligence | 2019-01-18 | Paper |
Equilibria in sequential allocation
(available as arXiv preprint) | 2018-10-25 | Paper |
Orbital shrinking: theory and applications
Discrete Applied Mathematics | 2018-09-25 | Paper |
h-Index Manipulation by Undoing Merges
(available as arXiv preprint) | 2018-07-12 | Paper |
scientific article; zbMATH DE number 6902543 (Why is no real title available?)
(available as arXiv preprint) | 2018-07-12 | Paper |
Three generalizations of the FOCUS constraint
Constraints | 2017-08-16 | Paper |
Three generalizations of the FOCUS constraint
Constraints | 2017-08-16 | Paper |
| The computational impact of partial votes on strategic voting | 2017-07-18 | Paper |
The computational impact of partial votes on strategic voting
(available as arXiv preprint) | 2017-07-18 | Paper |
Parliamentary voting procedures: agenda control, manipulation, and uncertainty
Journal of Artificial Intelligence Research | 2017-07-13 | Paper |
Justified representation in approval-based committee voting
Social Choice and Welfare | 2017-05-23 | Paper |
\(\mathrm{H}\)-index manipulation by merging articles: models, theory, and experiments
Artificial Intelligence | 2016-10-21 | Paper |
A study of proxies for Shapley allocations of transport costs
The Journal of Artificial Intelligence Research (JAIR) | 2016-09-07 | Paper |
Asymptotic and finite size parameters for phase transitions: Hamiltonian circuit as a case study
Information Processing Letters | 2016-06-09 | Paper |
Fair assignment of indivisible objects under ordinal preferences
Artificial Intelligence | 2015-12-21 | Paper |
| Combining voting rules together | 2015-12-11 | Paper |
Combining voting rules together
(available as arXiv preprint) | 2015-12-11 | Paper |
Multiset variable representations and constraint propagation
Constraints | 2014-12-12 | Paper |
Complexity of and algorithms for the manipulation of Borda, Nanson's and Baldwin's voting rules
Artificial Intelligence | 2014-10-27 | Paper |
SAT and hybrid models of the car sequencing problem
Integration of AI and OR Techniques in Constraint Programming | 2014-05-27 | Paper |
Buffered Resource Constraint: Algorithms and Complexity
Integration of AI and OR Techniques in Constraint Programming | 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
Algorithmic Decision Theory | 2013-12-17 | Paper |
Efficient Approximation of Well-Founded Justification and Well-Founded Domination
Logic Programming and Nonmonotonic Reasoning | 2013-10-10 | Paper |
An adaptive model restarts heuristic
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2013-06-04 | Paper |
| Modelling grammar constraints with answer set programming | 2012-08-29 | Paper |
New algorithms for max restricted path consistency
Constraints | 2012-06-20 | Paper |
Is computational complexity a barrier to manipulation?
Annals of Mathematics and Artificial Intelligence | 2012-01-13 | Paper |
Incompleteness and incomparability in preference aggregation: complexity results
Artificial Intelligence | 2011-11-17 | Paper |
Online cake cutting
Algorithmic Decision Theory | 2011-10-28 | Paper |
| Symmetry-breaking answer set solving | 2011-06-28 | Paper |
Symmetry-breaking answer set solving
(available as arXiv preprint) | 2011-06-28 | Paper |
The weighted grammar constraint
Annals of Operations Research | 2011-06-22 | Paper |
Symmetry breaking for distributed multi-context systems
Logic Programming and Nonmonotonic Reasoning | 2011-05-26 | Paper |
The \textsc{AllDifferent} constraint with precedences
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2011-05-26 | Paper |
| Symmetries of symmetry breaking constraints | 2011-05-11 | Paper |
Permutation Problems and Channelling Constraints
Logic for Programming, Artificial Intelligence, and Reasoning | 2011-05-06 | Paper |
Parameterized complexity results in symmetry breaking
Parameterized and Exact Computation | 2010-12-07 | Paper |
A translational approach to constraint answer set solving
Theory and Practice of Logic Programming | 2010-08-19 | Paper |
Elicitation strategies for soft constraint problems with missing preferences: properties, algorithms and experimental studies
Artificial Intelligence | 2010-05-07 | Paper |
Consistency and propagation with multiset constraints: a formal viewpoint
Lecture Notes in Computer Science | 2010-03-02 | Paper |
Tetravex is NP-complete
Information Processing Letters | 2010-01-29 | Paper |
Compact Preference Representation in Stable Marriage Problems
Algorithmic Decision Theory | 2009-11-17 | Paper |
Manipulating Tournaments in Cup and Round Robin Competitions
Algorithmic Decision Theory | 2009-11-17 | Paper |
Range and Roots: two common patterns for specifying and propagating counting and occurrence constraints
Artificial Intelligence | 2009-09-14 | Paper |
Filtering algorithms for the multiset ordering constraint
Artificial Intelligence | 2009-08-31 | Paper |
Combining Symmetry Breaking and Global Constraints
Lecture Notes in Computer Science | 2009-08-06 | Paper |
Theory and Applications of Satisfiability Testing
Lecture Notes in Computer Science | 2009-07-24 | Paper |
Domain filtering consistencies for non-binary constraints
Artificial Intelligence | 2009-07-17 | Paper |
Aggregating Partially Ordered Preferences
Journal Of Logic And Computation | 2009-06-12 | Paper |
Reformulating Global Grammar Constraints
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2009-06-03 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
The ROOTS Constraint
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
General Symmetry Breaking Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Global Grammar Constraints
Principles and Practice of Constraint Programming - CP 2006 | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Principles and Practice of Constraint Programming – CP 2004
Lecture Notes in Computer Science | 2008-09-09 | Paper |
Beyond Finite Domains: The All Different and Global Cardinality Constraints
Principles and Practice of Constraint Programming - CP 2005 | 2008-09-09 | Paper |
Decomposing Global Grammar Constraints
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Encodings of the Sequence Constraint
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Breaking Symmetry of Interchangeable Variables and Values
Principles and Practice of Constraint Programming – CP 2007 | 2008-09-02 | Paper |
Online Estimation of SAT Solving Runtime
Theory and Applications of Satisfiability Testing – SAT 2008 | 2008-05-27 | Paper |
The Weighted Cfg Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-05-27 | Paper |
Filtering Algorithms for the NValue Constraint
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems | 2008-03-17 | Paper |
Propagation algorithms for lexicographic ordering constraints
Artificial Intelligence | 2007-10-23 | Paper |
The complexity of reasoning with global constraints
Constraints | 2007-10-22 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Recent Advances in Constraints
Lecture Notes in Computer Science | 2007-05-02 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2007-04-30 | Paper |
Filtering algorithms for the NValue constraint
Constraints | 2007-01-05 | Paper |
Stochastic constraint programming: A scenario-based approach
Constraints | 2006-11-03 | Paper |
Hard and soft constraints for reasoning about qualitative conditional preferences
Journal of Heuristics | 2006-09-28 | Paper |
Logic Programming
Lecture Notes in Computer Science | 2006-06-27 | Paper |
scientific article; zbMATH DE number 2243353 (Why is no real title available?)
(available as arXiv preprint) | 2006-01-04 | Paper |
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Lecture Notes in Computer Science | 2005-12-27 | Paper |
Hybrid modelling for robust solving
Annals of Operations Research | 2004-08-20 | Paper |
| scientific article; zbMATH DE number 2080318 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 2080324 (Why is no real title available?) | 2004-08-04 | Paper |
| scientific article; zbMATH DE number 1979554 (Why is no real title available?) | 2003-09-14 | Paper |
| scientific article; zbMATH DE number 1975610 (Why is no real title available?) | 2003-09-07 | Paper |
On the notion of interestingness in automated mathematical discovery
International Journal of Human-Computer Studies | 2003-04-03 | Paper |
Binary vs. non-binary constraints
Artificial Intelligence | 2002-09-09 | Paper |
| scientific article; zbMATH DE number 1759715 (Why is no real title available?) | 2002-08-06 | Paper |
Random constraint satisfaction: Flaws and structure
Constraints | 2001-11-12 | Paper |
Satisfiability in the Year 2000
Journal of Automated Reasoning | 2001-05-01 | Paper |
Decomposable constraints
Artificial Intelligence | 2000-12-12 | Paper |
| scientific article; zbMATH DE number 1348478 (Why is no real title available?) | 1999-10-10 | Paper |
| scientific article; zbMATH DE number 1348457 (Why is no real title available?) | 1999-10-07 | Paper |
The TSP phase transition
Artificial Intelligence | 1998-07-23 | Paper |
Calculating criticalities
Artificial Intelligence | 1998-07-23 | Paper |
Abstract proof checking: An example motivated by an incompleteness theorem
Journal of Automated Reasoning | 1998-06-29 | Paper |
| scientific article; zbMATH DE number 1149403 (Why is no real title available?) | 1998-05-10 | Paper |
A calculus for and termination of rippling
Journal of Automated Reasoning | 1996-06-11 | Paper |
Easy problems are sometimes hard
Artificial Intelligence | 1995-01-11 | Paper |
The inevitability of inconsistent abstract spaces
Journal of Automated Reasoning | 1994-01-13 | Paper |
A theory of abstraction
Artificial Intelligence | 1993-01-17 | Paper |
| scientific article; zbMATH DE number 4164177 (Why is no real title available?) | 1989-01-01 | Paper |
