Select Publications
Preprints
, 2010, Symmetry-breaking Answer Set Solving, http://dx.doi.org/10.48550/arxiv.1008.1809
, 2010, Stable marriage problems with quantitative preferences, http://dx.doi.org/10.48550/arxiv.1007.5120
, 2010, An Empirical Study of Borda Manipulation, http://dx.doi.org/10.48550/arxiv.1007.5104
, 2010, Local search for stable marriage problems, http://dx.doi.org/10.48550/arxiv.1007.0859
, 2010, Local search for stable marriage problems with ties and incomplete lists, http://dx.doi.org/10.48550/arxiv.1007.0637
, 2010, Decomposition of the NVALUE constraint, http://dx.doi.org/10.48550/arxiv.1007.0603
, 2010, On The Complexity and Completeness of Static Constraints for Breaking Row and Column Symmetry, http://dx.doi.org/10.48550/arxiv.1007.0602
, 2010, Symmetries of Symmetry Breaking Constraints, http://dx.doi.org/10.48550/arxiv.1005.5270
, 2010, Propagating Conjunctions of AllDifferent Constraints, http://dx.doi.org/10.48550/arxiv.1004.2626
, 2009, Manipulating Tournaments in Cup and Round Robin Competitions, http://dx.doi.org/10.48550/arxiv.0911.1582
, 2009, Breaking Generator Symmetry, http://dx.doi.org/10.48550/arxiv.0909.5099
, 2009, Dealing with incomplete agents' preferences and an uncertain agenda in group decision making via sequential majority voting, http://dx.doi.org/10.48550/arxiv.0909.4441
, 2009, Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies, http://dx.doi.org/10.48550/arxiv.0909.4446
, 2009, Flow-Based Propagators for the SEQUENCE and Related Global Constraints, http://dx.doi.org/10.48550/arxiv.0909.4452
, 2009, Manipulation and gender neutrality in stable marriage procedures, http://dx.doi.org/10.48550/arxiv.0909.4437
, 2009, The Weighted CFG Constraint, http://dx.doi.org/10.48550/arxiv.0909.4456
, 2009, Decomposition of the NVALUE constraint, http://dx.doi.org/10.48550/arxiv.0909.3273
, 2009, Symmetries of Symmetry Breaking Constraints, http://dx.doi.org/10.48550/arxiv.0909.3276
, 2009, Restricted Global Grammar Constraints, http://dx.doi.org/10.48550/arxiv.0906.5233
, 2009, Circuit Complexity and Decompositions of Global Constraints, http://dx.doi.org/10.48550/arxiv.0905.3757
, 2009, Decompositions of All Different, Global Cardinality and Related Constraints, http://dx.doi.org/10.48550/arxiv.0905.3755
, 2009, Multiset Ordering Constraints, http://dx.doi.org/10.48550/arxiv.0905.3769
, 2009, Reasoning about soft constraints and conditional preferences: complexity results and approximation techniques, http://dx.doi.org/10.48550/arxiv.0905.3766
, 2009, Stochastic Constraint Programming: A Scenario-Based Approach, http://dx.doi.org/10.48550/arxiv.0903.1150
, 2009, The Complexity of Reasoning with Global Constraints, http://dx.doi.org/10.48550/arxiv.0903.1139
, 2009, Combining Symmetry Breaking and Global Constraints, http://dx.doi.org/10.48550/arxiv.0903.0479
, 2009, Decompositions of Grammar Constraints, http://dx.doi.org/10.48550/arxiv.0903.0470
, 2009, Filtering Algorithms for the Multiset Ordering Constraint, http://dx.doi.org/10.48550/arxiv.0903.0460
, 2009, Reformulating Global Grammar Constraints, http://dx.doi.org/10.48550/arxiv.0903.0475
, 2009, SLIDE: A Useful Special Case of the CARDPATH Constraint, http://dx.doi.org/10.48550/arxiv.0903.0471
, 2009, The Parameterized Complexity of Global Constraints, http://dx.doi.org/10.48550/arxiv.0903.0467
, 2009, Range and Roots: Two Common Patterns for Specifying and Propagating Counting and Occurrence Constraints, http://dx.doi.org/10.48550/arxiv.0903.0211