Sciweavers

632 search results - page 11 / 127
» constraints 2000
Sort
View
CP
2000
Springer
13 years 12 months ago
Linear Formulation of Constraint Programming Models and Hybrid Solvers
Constraint programming offers a variety of modeling objects such as logical and global constraints, that lead to concise and clear models for expressing combinatorial optimization...
Philippe Refalo
SAS
2000
Springer
13 years 11 months ago
Enforcing Design Constraints with Object Logic
Design constraints express essential behavioural properties of a software system. Two key elements of a scheme for enforcing design constraints are presented: a logic for describin...
Daniel Jackson
GEO
2000
13 years 9 months ago
Satisfying Interaction Constraints
: In feature modelling, constraints can be used to store design intent in a model. Interaction constraints are an important type of constraints, which limit the extent to which fea...
Alex Noort, Rafael Bidarra, Willem F. Bronsvoort
WFLP
2000
Springer
163views Algorithms» more  WFLP 2000»
13 years 11 months ago
Cooperative Constraint Functional Logic Programming
We describe the current status of the development of CFLP, a system which aims at the integration of the best features of functional logic programming (FLP), cooperative constrain...
Mircea Marin, Tetsuo Ida
JCO
2000
59views more  JCO 2000»
13 years 7 months ago
Facets of an Assignment Problem with 0-1 Side Constraint
We show that the problem of finding a perfect matching satisfying a single equality constraint with a 0
Abdo Y. Alfakih, Tongnyoul Yi, Katta G. Murty