The PPSZ Algorithm for Constraint Satisfaction
Problems on More Than Two Colors.
Constraint Programming for Strictly Convex
Integer Quadratically-Constrained Problems.
Constraint Programming for Planning Test
Campaigns of Telecommunication Satellites.
An adaptive parallel SAT solver.
Broken Triangles, Yet Again.
Morphing between Stable Matching
"Almost-stable" matchings in the Hospitals /
Residents problem with Couples.
Guaranteed Weighted Counting for Affinity
Computation: beyond Determinism and Structure.
The Power of Propagation: When GAC is
A New Approach to Checking the Dynamic
Consistency of Conditional Simple Temporal Networks.
Using Constraint Programming for the Urban
Transit Crew Rescheduling Problem.
Constraint Programming Models for Chosen Key
Clique and Constraint Models for Maximum
Common (Connected) Subgraph Problems.
Towards a Dynamic Decomposition of CSPs with
Separators of Bounded Size.
Constraint Propagation via
Parallel Strategies Selection.
Finding Alternative Musical Scales.
Online HVAC-Aware Occupancy Scheduling with
Adaptive Temperature Control.
A Dynamic Programming-based MCMC Framework for
Solving DCOPs with GPUs.
The Dichotomy for Conservative Constraint
Satisfaction is Polynomially Decidable.
Using Graph-Based CSP to Solve the Address
Improving protein docking with redundancy
Behavior Identification in Two-stage Games for
Incentivizing Citizen Science Exploration.
Finding Unsatisfiable Cores of a Set of
Polynomials using the Groebner Basis Algorithm
Improved Linearization of Constraint
Systematic Derivation of Bounds and Glue
Constraints for Time-Series Constraints.
Constraint programming formulation of the
problem of generating Milton Babbitt's all-partition
Impact of SAT-Based Preprocessing on
Core-Guided MaxSAT Solving.
Compact-Table: efficiently filtering table
constraints with reversible sparse bit-sets.
Learning from Learning Solvers.
Efficient Filtering for the Unary Resource
with Family-based Transition Times.
The Multirate Resource Constraint.
Service Availability Optimization in
Cloud-Based In-Memory Data Grids.
Optimal Performance Tuning in Real-Time
Systems using Multi-Objective Constrained Optimization.
Breaking Symmetries in Graphs: The Nauty
Solving a Supply-Delivery Scheduling Problem
with Constraint Programming.
Learning parameters for the Sequence
constraint from positive examples.
A global constraint for closed itemset
Backdoors to Tractable Valued CSP.
SABIO: An Implementation of MIP and CP for
Interactive Soccer Queries.
Enforcing Structure on Temporal Sequences: the
Assisted Lead Sheet Composition using
Monte-Carlo Tree Search for the Maximum
Multiobjective Optimization by Decision
A Constraint Programming Approach to
Multi-Robot Task Allocation and Scheduling in Retirement
Dependency Schemes in QBF Calculi: Semantics
On Incremental Core-Guided MaxSAT
Graphical models for optimal power flow.
Exploiting Short Supports for Improved
Encoding of Arbitrary Constraints into SAT.
Tightening McCormick Relaxations for Nonlinear
Programs via Dynamic Multivariate Partitioning.
Modelling and Solving Multi-Mode
Resource-Constrained Project Scheduling.
Interval Constraint with Learning :
Application to Air Traffic Control.
On Finding Minimum Satisfying
Four-Bar Linkage Synthesis Using Non-Convex