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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1979-2018
024619792018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
A system capable of suggesting multi-word phrases while someone is writing could supply ideas about content and phrasing and… (More)
  • figure 1
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… (More)
  • figure 1
  • figure 2
  • figure 5
  • figure 4
  • figure 6
Is this relevant?
2015
2015
We consider the solution of strongly monotone variational inequalities of the form F (x∗)′(x−x∗) ≥ 0, for all x ∈ X. We focus on… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Constraint reasoning involves various types of techniques to tackle the inherent intractability of the problem of satisfying a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
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… (More)
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… (More)
Is this relevant?
1990
1990
In this paper we shall discuss how to treat the automatic generation of assembly task specifications as a constraint satisfaction… (More)
  • table 1
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
1989
1989
This paper considers the composition of tuples from two relations in order to derive additional tuples of one of these relations… (More)
  • figure 2
  • table 2
Is this relevant?