Association for Constraint Programming

Preimage attacks on round-reduced MD5, SHA-1, and SHA-256 using parameterized SAT solver

Association for Constraint Programming

Solutions and minimal conflict search for product configuration a case study

Association for Constraint Programming

Ner4Opt named entity recognition for optimization modelling from natural language

Association for Constraint Programming

Invariant polydiagonal subspaces of matrices and constraint programming

Association for Constraint Programming

Learning and fine-tuning a generic value-selection heuristic inside a constraint programming solver

Association for Constraint Programming

Interview with Peter J. Stuckey 2019 Research Excellence Awardee

Association for Constraint Programming

Interview with John Hooker 2021 Research Excellence Awardee

Association for Constraint Programming

Interview with Rina Dechter 2007 Research Excellence Awardee

Association for Constraint Programming

Interview with Eugene Freuder 2005 Research Excellence Awardee

Association for Constraint Programming

Interview with Patrick Prosser 2011 Research Excellence Awardee

Association for Constraint Programming

Interview with Toby Walsh 2015 Research Excellence Awardee

Association for Constraint Programming

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

Association for Constraint Programming

Interview with Alan Mackworth 2009 Research Excellence Awardee

Association for Constraint Programming

Interview with Mats Carlsson 2023 Research Excellence Awardee

Association for Constraint Programming

CP2023 Learning a Generic Value-Selection Heuristic Inside a Generic CP Solver

Association for Constraint Programming

CP2023 Simplifying Stepwise Explanation Sequences

Association for Constraint Programming

CP2023 Explainable Constraint Solving - A Hands-On Tutorial

Association for Constraint Programming

CP2023 Large Neighborhood Beam Search for Domain Independent Dynamic Programming

Association for Constraint Programming

CP2023 Proof Logging for Smart Extensional Constraints

Association for Constraint Programming

CP2023 Preprocessing in SAT Based Multi Objective Combinatorial Optimization

Association for Constraint Programming

CP2023 Optimization models for pickup and delivery problems with reconfigurable capacities

Association for Constraint Programming

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

Association for Constraint Programming

CP2023 Constraint Model for the Satellite Image Mosaic Selection Problem

Association for Constraint Programming

CP2023 Binary constraint trees and structured decomposability

Association for Constraint Programming

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

Association for Constraint Programming

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

Association for Constraint Programming

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

Association for Constraint Programming

CP2023 Towards More Efficient Local Search for Pseudo Boolean Optimization

Association for Constraint Programming

ACP Summer School 2023 Constraint Acquisition by Dimos Tsouros

Association for Constraint Programming

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

Association for Constraint Programming