View Detailed Profile
ModRef 2020 A Constraint Programming Approach to Microplate Layout Design

ModRef 2020 A Constraint Programming Approach to Microplate Layout Design

Presentation of

ModRef 2020 Hybrid Prediction and Constraint Solving

ModRef 2020 Hybrid Prediction and Constraint Solving

Presentation of

ModRef 2020 Deriving Optimal Multiplication-by-Constant Circuits With A SAT-based Constraint Engine

ModRef 2020 Deriving Optimal Multiplication-by-Constant Circuits With A SAT-based Constraint Engine

Presentation of

CP2020 Effective Encodings of Constraint Programming Models to SMT

CP2020 Effective Encodings of Constraint Programming Models to SMT

Presentation of CP2020 paper "Effective Encodings of

Modern Constraint Programming, For People Who Know SAT

Modern Constraint Programming, For People Who Know SAT

Ciaran McCreesh (University of Glasgow) https://simons.berkeley.edu/talks/ciaran-mccreesh-university-glasgow-2023-04-19 ...

An Introduction To Constraint Programming - Jacob Allen

An Introduction To Constraint Programming - Jacob Allen

As a

ModRef 2020 Specifying Local Search Neighborhoods from a Constraint Satisfaction Problem Structure

ModRef 2020 Specifying Local Search Neighborhoods from a Constraint Satisfaction Problem Structure

Presentation of

ModRef 2021 "Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns"

ModRef 2021 "Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns"

CP 2021 Workshop

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 ...

ModRef 2020 Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced...

ModRef 2020 Towards Portfolios of Streamlined Constraint Models: A Case Study with the Balanced...

Presentation of

Archive: Open Constraint Programming

Archive: Open Constraint Programming

A framework for reactive

Solving Combinatorial Optimization Problems with Constraint Programming and OscaR

Solving Combinatorial Optimization Problems with Constraint Programming and OscaR

Prof. Pierre Schaus introduces

Constraint Programming

Constraint Programming

Constraint Programming