Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

Constraint inference

Known as: Constraint composition, Constraint projection, Extended composition 
In constraint satisfaction, constraint inference is a relationship between constraints and their consequences. A set of constraints entails a… Expand
Wikipedia

Related topics

Related topics

4 relations

Broader (1)

Constraint programming
Constraint satisfactionConstraint satisfaction problemHybrid algorithm (constraint satisfaction)

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Category Theory in Coq 8.5
We report on our experience implementing category theory in Coq 8.5. The repository of this development can be found at this… Expand
  • table 1
  • table 2
Is this relevant?
2016
2016
Position and orientation based Cosserat rods
We present a novel method to simulate bending and torsion of elastic rods within the position-based dynamics (PBD) framework. The… Expand
  • figure 1
  • figure 2
  • figure 5
  • figure 4
  • figure 6
Is this relevant?
2015
2015
Random Multi-Constraint Projection: Stochastic Gradient Methods for Convex Optimization with Many Constraints
Consider convex optimization problems subject to a large number of constraints. We focus on stochastic problems in which the… Expand
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2009
2009
Selective Ensemble Algorithms of Support Vector Machines Based on Constraint Projection
  • Lei Wang, Yong Yang
  • ISNN
  • 2009
    • Corpus ID: 36695959
This paper proposes two novel ensemble algorithms for training support vector machines based on constraint projection technique… Expand
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Scale transition and enforcement of RVE boundary conditions in second‐order computational homogenization
Formulation of the scale transition equations coupling the microscopic and macroscopic variables in the second-order… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2008
2008
Parallel hybrid algorithm for process flexibility analysis
Flexibility analysis is an important task for the optimal design and synthesis of chemical processes with uncertainty. It is a… Expand
  • figure 1
  • figure 2
  • figure 4
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Semiring-based constraint satisfaction and optimization
We introduce a general framework for constraint satisfaction and optimization where classical CSPs, fuzzy CSPs, weighted CSPs… Expand
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
Programming Constraint Inference Engines
Existing constraint programming systems offer a fixed set of inference engines implementing search strategies such as single, all… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1995
Highly Cited
1995
Constraint Solving over Semirings
We introduce a general framework for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint… Expand
Is this relevant?
1985
1985
Ternary feldspar thermometry in granulites from the Oaxacan Complex, Mexico
Coexisting feldspars from across 2,000 km2 of the granulite facies Oaxacan Complex, southern Mexico exhibit variable amounts of… Expand
  • figure 1
Is this relevant?
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License
ACCEPT & CONTINUE