Відео

Interview with John Hooker 2021 Research Excellence Awardee

Interview with Rina Dechter 2007 Research Excellence Awardee

Interview with Eugene Freuder 2005 Research Excellence Awardee

Interview with Patrick Prosser 2011 Research Excellence Awardee

Interview with Toby Walsh 2015 Research Excellence Awardee

Interview with Jean-Charles Régin 2013 Research Excellence Awardee

Interview with Alan Mackworth 2009 Research Excellence Awardee

Interview with Mats Carlsson 2023 Research Excellence Awardee

CP2023: paper "Learning a Generic Value-Selection Heuristic Inside a Generic Constraint Programming Solver" by Tom Marty, Tristan François, Pierre Tessier, Louis Gautier, Louis-Martin Rousseau and Quentin Cappart

CP2023: paper "Simplifying Stepwise Explanation Sequences" by Ignace Bleukx, Jo Devriendt, Emilio Gamba, Bart Bogaerts and Tias Guns

CP2023: tutorial "Explainable Constraint Solving - A Hands-On Tutorial" by Tias Guns, Ignace Bleukx and Dimos Tsouros

CP2023: paper "Large Neighborhood Beam Search for Domain Independent Dynamic Programming" by Ryo Kuroiwa and J. Christopher Beck

CP2023: paper "Proof Logging for Smart Extensional Constraints" by Mathew J. McIlree and Ciaran McCreesh

CP2023: paper "Preprocessing in SAT Based Multi Objective Combinatorial Optimization" by Christoph Jabs, Jeremias Berg, Hannes Ihalainen and Matti Järvisalo

CP2023: "Optimization models for pickup and delivery problems with reconfigurable capacities"

CP2023: "Efficient enumeration of fixed points in complex Boolean networks using ASP"

CP2023: "Constraint Model for the Satellite Image Mosaic Selection Problem"

CP2023: "Binary constraint trees and structured decomposability"

CP2023: "Horizontally Elastic Edge Finder Rule for Cumulative Constraint Based on Slack and Density"

CP2023: "Improving LS for PB Optimization by Fragile Scoring Function and Deep Optimization"

CP2023: "SAT-Based Learning of Compact Binary Decision Diagrams for Classification"

CP2023: "Towards More Efficient Local Search for Pseudo Boolean Optimization"

ACP Summer School 2023: "Constraint Acquisition" by Dimos Tsouros

ACP Summer School 2023: "Deep RL in Solving Industrial Optimization Problem" by Yingqian Zhang

ACP Summer School 2023: "Learning a Value-Selection Heuristic" by Quentin Cappart

ACP Summer School 2023: "Rambling Away from Decision-Focused Learning" by Michele Lombardi

ACP Summer School 2023: "Deep Learning & Combinatorial Optimization" by Wouter Kool

ACP Summer School 2023: "Predict-then-optimize" by Elias Khalil

ACP Summer School 2023: "Getting the Best out of your Constraint Solver" by Lars Kotthoff