View Detailed Profile
CP2021 (Trailer) "Solving the Non-Crossing MAPF with Constraint Programming"

CP2021 (Trailer) "Solving the Non-Crossing MAPF with Constraint Programming"

CP2021 trailer

CP2021 "Solving the Non-Crossing MAPF with Constraint Programming"

CP2021 "Solving the Non-Crossing MAPF with Constraint Programming"

CP2021

CP2021 (Trailer)  "Generating magical performances with constraint programming"

CP2021 (Trailer) "Generating magical performances with constraint programming"

CP2021 trailer

CP2021 (Trailer) "The Dungeon Variations Problem Using Constraint Programming"

CP2021 (Trailer) "The Dungeon Variations Problem Using Constraint Programming"

CP2021 trailer

CP2021 (Trailer) "Counterfactual Explanations via Inverse Constraint Programming"

CP2021 (Trailer) "Counterfactual Explanations via Inverse Constraint Programming"

CP2021 trailer

CP2021 "Learning Max-CSPs via Active Constraint Acquisition"

CP2021 "Learning Max-CSPs via Active Constraint Acquisition"

CP2021

CP2021 "Counterfactual Explanations via Inverse Constraint"Programming"

CP2021 "Counterfactual Explanations via Inverse Constraint"Programming"

CP2021

CP2021 "The Dungeon Variations Problem Using Constraint Programming"

CP2021 "The Dungeon Variations Problem Using Constraint Programming"

CP2021

CP2021 "Generating magical performances with constraint programming"

CP2021 "Generating magical performances with constraint programming"

CP2021

PTHG 2021 Constraint Acquisition Challenge

PTHG 2021 Constraint Acquisition Challenge

CP 2021

CP2021 (Trailer) "Human-Centred Feasibility Restoration"

CP2021 (Trailer) "Human-Centred Feasibility Restoration"

CP2021 trailer

CP2021 (Trailer) "Reasoning Short Cuts in Inf. Dom. CS: Algorithms and Lower Bounds for Backdoors"

CP2021 (Trailer) "Reasoning Short Cuts in Inf. Dom. CS: Algorithms and Lower Bounds for Backdoors"

CP2021 trailer

CP2021 Tutorial "Visualization for Constraint Programming"

CP2021 Tutorial "Visualization for Constraint Programming"

CP2021

PTHG 2021 "SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning"

PTHG 2021 "SeaPearl: A Constraint Programming Solver Guided by Reinforcement Learning"

CP 2021

CP2023: "Explainable Constraint Solving - A Hands-On Tutorial"

CP2023: "Explainable Constraint Solving - A Hands-On Tutorial"

CP2023: tutorial "Explainable

ACP Summer School 2023: "Introduction to Machine Learning" by Hendrik Blockeel

ACP Summer School 2023: "Introduction to Machine Learning" by Hendrik Blockeel

I already talked about parametric versus

Encodings and Consistency from a Constraint Programming Perspective

Encodings and Consistency from a Constraint Programming Perspective

Ciaran McCreesh (University of Glasgow) https://simons.berkeley.edu/talks/theory-encodings Theoretical Foundations of ...

CP2021 (Trailer) "Positive and negative length-bound reachability constraints"

CP2021 (Trailer) "Positive and negative length-bound reachability constraints"

CP2021 trailer