Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Discrete Convexity
- Transducers
- Compositional Glue Matrix and Bound for Time-Series Constraints
- Reformulation of time-series constraint in MIP
- Scheduling Constraint for Video Summarisation
- A Model Seeker for Learning Constraints Models from Positive Samples
- Global Constraint Catalog Volume II: Time-Series Constraints
- Probabilistic Model for Binary CSP
- Estimating parallel runtimes for randomized algorithms in constraint solving
- ghost: A Combinatorial Optimization Framework for Real-Time Problems
- TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games
- POSL: A Parallel-Oriented metaheuristic-based Solver Language
- Towards Automated Strategies in Satisfiability Modulo Theory
- Using CP for the Urban Transit Crew Rescheduling Problem
- Traveling salesman and the tree: the importance of search in CP
- Event Selection Rules to Compute Explanations
- Towards energy-proportional Clouds partially powered by renewable energy
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography
Overall Objectives
Research Program
Application Domains
New Software and Platforms
New Results
- Discrete Convexity
- Transducers
- Compositional Glue Matrix and Bound for Time-Series Constraints
- Reformulation of time-series constraint in MIP
- Scheduling Constraint for Video Summarisation
- A Model Seeker for Learning Constraints Models from Positive Samples
- Global Constraint Catalog Volume II: Time-Series Constraints
- Probabilistic Model for Binary CSP
- Estimating parallel runtimes for randomized algorithms in constraint solving
- ghost: A Combinatorial Optimization Framework for Real-Time Problems
- TorchCraft: a Library for Machine Learning Research on Real-Time Strategy Games
- POSL: A Parallel-Oriented metaheuristic-based Solver Language
- Towards Automated Strategies in Satisfiability Modulo Theory
- Using CP for the Urban Transit Crew Rescheduling Problem
- Traveling salesman and the tree: the importance of search in CP
- Event Selection Rules to Compute Explanations
- Towards energy-proportional Clouds partially powered by renewable energy
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Bibliography