Set constraint

In mathematics and theoretical computer science, a set constraint is an equation or an inequation between sets of terms.Similar to systems of (in… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2008
2008
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2006
2006
In this paper we present Cardinal, a general finite sets constraint solver just made publicly available in ECLiPSe Constraint… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
2005
2005
Constraint solvers typically maintain a domain of possible values for each variable that may form part of a solution to a… (More)
  • figure 1
  • figure 2
  • figure 3
  • table 1
  • table 2
Is this relevant?
2000
2000
1 {fa,pb}@di.fct.unl.pt Departamento de Informática, Universidade Nova de Lisboa 2825-114 Caparica — Portugal Abstract. In this… (More)
  • table 1
  • table 2
Is this relevant?
Review
1999
Review
1999
Program analysis is concerned with automatically extracting information from programs. Program analysis is a large topic, with a… (More)
Is this relevant?
1997
1997
Set constraints is a suitable formalism for static analysis of programs. However, it is known that the complexity of set… (More)
Is this relevant?
1995
1995
An interesting diierence between Datalog P(Z) and Datalog < Z is that the former is DEXPTIME-hard even if the size of each… (More)
  • figure 1
Is this relevant?
1994
1994
Set constraints are relations between sets of ground terms over a given alphabet. They give a natural formalism for many problems… (More)
Is this relevant?
1993
1993
domains employed in abstract interpretation are typically required to satisfy the finite ascending chains condition (or some… (More)
Is this relevant?
Highly Cited
1992
Highly Cited
1992
The central component of standard approaches to compile-time program analysis is an abstract domain for approximating program… (More)
Is this relevant?