The following pages link to Toby Walsh (Q215106):
Displaying 50 items.
- The AllDifferent Constraint with Precedences (Q3003273) (← links)
- (Q3011301) (← links)
- Parameterized Complexity Results in Symmetry Breaking (Q3058684) (← links)
- Online Cake Cutting (Q3095310) (← links)
- (Q3388740) (← links)
- (Q3455590) (← links)
- (Q3490995) (← links)
- Online Estimation of SAT Solving Runtime (Q3502701) (← links)
- Encodings of the Sequence Constraint (Q3523058) (← links)
- Breaking Symmetry of Interchangeable Variables and Values (Q3523071) (← links)
- Decomposing Global Grammar Constraints (Q3523078) (← links)
- Beyond Finite Domains: The All Different and Global Cardinality Constraints (Q3524228) (← links)
- The ROOTS Constraint (Q3524236) (← links)
- General Symmetry Breaking Constraints (Q3524265) (← links)
- Global Grammar Constraints (Q3524271) (← links)
- A translational approach to constraint answer set solving (Q3585161) (← links)
- Reformulating Global Grammar Constraints (Q3630157) (← links)
- Aggregating Partially Ordered Preferences (Q3632765) (← links)
- Manipulating Tournaments in Cup and Round Robin Competitions (Q3645301) (← links)
- Compact Preference Representation in Stable Marriage Problems (Q3645333) (← links)
- (Q4264708) (← links)
- (Q4264732) (← links)
- (Q4386921) (← links)
- (Q4424851) (← links)
- (Q4427907) (← links)
- (Q4473037) (← links)
- (Q4473043) (← links)
- (Q4536728) (← links)
- (Q4576211) (← links)
- h-Index Manipulation by Undoing Merges (Q4576225) (← links)
- On the notion of interestingness in automated mathematical discovery (Q4800421) (← links)
- An Adaptive Model Restarts Heuristic (Q4922927) (← links)
- Expected Outcomes and Manipulations in Online Fair Division (Q5044849) (← links)
- Most Competitive Mechanisms in Online Fair Division (Q5044850) (← links)
- Barriers to Manipulation in Voting (Q5133009) (← links)
- Combining Symmetry Breaking and Global Constraints (Q5191408) (← links)
- A divergence critic (Q5210759) (← links)
- Termination orderings for rippling (Q5210791) (← links)
- Parliamentary Voting Procedures: Agenda Control, Manipulation, and Uncertainty (Q5278045) (← links)
- (Q5283030) (← links)
- Theory and Applications of Satisfiability Testing (Q5325869) (← links)
- The Weighted Cfg Constraint (Q5387640) (← links)
- Answer Set Solving with Lazy Nogood Generation (Q5398057) (← links)
- SAT and Hybrid Models of the Car Sequencing Problem (Q5418738) (← links)
- Buffered Resource Constraint: Algorithms and Complexity (Q5418740) (← links)
- Filtering Algorithms for the NValue Constraint (Q5450923) (← links)
- Logic Programming (Q5475765) (← links)
- Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (Q5713870) (← links)
- (Q5715662) (← links)
- Principles and Practice of Constraint Programming – CP 2003 (Q5897225) (← links)
