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

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
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
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
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
  • 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
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
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
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
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
We introduce a general framework for constraint solving where classical CSPs, fuzzy CSPs, weighted CSPs, partial constraint… Expand
Is this relevant?
1985
1985
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?