-
A Specific Quantifier Elimination for Inner Box Test in Distance Constraints ...
This document presents a specific quantifier elimination algorithm for distance constraints with uncertainties represented by constraints with existentially quantified... -
A Multi-Site Constraint Programming Model of Alternative Splicing Regulation
Alternative splicing is a key process in post-transcriptional regulation, by which several kinds of mature RNA can be obtained from the same premessenger RNA. The... -
Strong combination of ant colony optimization with constraint programming opt...
In this thesis, we focused on the implementation of self-adaptive algorithms for solving optimization problems modeled in a Constraint Programming (CP) language. We... -
Tracing Execution of CLP(FD) Programs : A Trace Model and an Experimental Val...
Developing and maintaining Constraint Logic Programs (CLP) requires performanc- e debugging tools based on visualization and explanation. However, existing tools are... -
Optimizing Compilation for Extensible Processors
Application specific instruction set processors (ASIP) are a well known compromise between the high performance of a dedicated hardware and the flexibility of a... -
Cooperation of Decision Procedures for the Satisfiability Problem
Constraint programming is strongly based on the use of solvers which are able to check satisfiability of constraints. We show in this paper a rule-based algorithm for... -
Constraint Programming as a Means to Manage Configurations in Self-Adaptive S...
International audience -
Constraint based approach for the steady-state simulation of complex systems:...
International audience -
A Usage Coverage-Based Approach for Assessing Product Family Design
International audience -
Dimensioning a product in preliminary design through different exploration te...
International audience -
A Declarative Approach to Modeling and Solving the View Selection Problem
View selection is important in many data-intensive systems e.g., commercial database and data warehousing systems to improve query performance. View selection can be... -
Spatial and Epistemic Modalities in Constraint-Based Process Calculi
International audience -
K-Stores: A Spatial and Epistemic Concurrent Constraint Interpreter
International audience -
A usage coverage based approach for assessing product family design
Adopting a utilitarian viewpoint of consumers on some service-oriented goods, we have first contributed to the proposal of a usage contexts model that a product should... -
An Optimal Constraint Programming Approach to the Open-Shop Problem
International audience -
Multi-site scheduling under production and transportation constraints
International audience -
A note on arithmetic constraint propagation
We consider the resolution by constraint programming of large problems, i.e. involving millions of constraints, which mainly imply arithmetic constraints, like... -
Towards a Generic Trace for Rule Based Constraint Reasoning
CHR is a very versatile programming language that allows programmers to declaratively specify constraint solvers. An important part of the development of such solvers... -
Knockout Prediction for Reaction Networks with Partial Kinetic Information
International audience -
CLP a technology for the interactive resolution of spatial configuration task...
International audience
