Skip to search formSkip to main contentSkip to account menu

Constraint programming

Known as: Babelsberg (programming language), Constraint programming language, CP 
In computer science, constraint programming is a programming paradigm wherein relations between variables are stated in the form of constraints… 
Wikipedia (opens in a new tab)

Related topics

Related topics

49 relations
AIMMSAMPLAlgebraic modeling languageAlma-0

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Multi-cloud Application Design through Cloud Service Composition
While various platforms are offering facilities for single-cloud application design, deployment and provisioning, there is a need… 
Highly Cited
2011
Highly Cited
2011
Declare: A Tool Suite for Declarative Workflow Modeling and Enactment
Declare adheres to the declarative work?ow modeling paradigm, where, instead of modeling allowed behavior and explicit choices… 
2011
2011
Optimizing Constraint Solving to Better Support Symbolic Execution
Constraint solving is an integral part of symbolic execution, as most symbolic execution techniques rely heavily on an underlying… 
2008
2008
Simultaneous Batching and Scheduling of Single Stage Batch Plants with Parallel Units
This article deals with the optimal short-term scheduling of single stage batch plants with sequence-dependent changeovers… 
Highly Cited
2008
Highly Cited
2008
Scheduling multistage batch plants with parallel units and no interstage storage
2007
2007
Modeling the Regular Constraint with Integer Programming
Many optimisation problems contain substructures involving constraints on sequences of decision variables. Such constraints can… 
2002
2002
Runtime Service Composition via Logic-Based Program Synthesis
Dynamic composition of services from components at runtime can help to provide flexible service infrastructures, but requires… 
2001
2001
Augmenting UML with fact-orientation
The Unified Modeling Language (UML) is more useful for object-oriented code design than conceptual information analysis. Its… 
1999
1999
Quadruped Free Gait Generation Based on the Primary/Secondary Gait
A free gait algorithm is proposed utilizing a new method of gait generation called primary/secondary gait. The primary gait is a… 
1994
1994
Satisfaction of input and output encoding constraints
Three encoding problems relevant to the synthesis of digital circuits are input, output, and state encoding. Several encoding… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)