Skip to search formSkip to main contentSkip to account menu

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… 
Wikipedia (opens in a new tab)

Related topics

Related topics

7 relations
Abstract interpretationEquation solvingLanguage equationRegular tree grammar

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2015
2015
Doubly constrained robust beamforming method using subspace-associated power components
2014
2014
Phasor Measurement Unit Placement for Identifying Power Line Outages in Wide-Area Transmission System Monitoring
Phasor measurement units (PMUs) are widely recognized to be instrumental for enhancing the power system situational awareness - a… 
2011
2011
Tractable Set Constraints
Many fundamental problems in artificial intelligence, knowledge representation, and verification involve reasoning about sets and… 
2010
2010
Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems, 7th International Conference, CPAIOR 2010, Bologna, Italy, June 14-18, 2010. Proceedings
Highly Cited
2009
Highly Cited
2009
Levitin–Polyak well-posedness of vector equilibrium problems
In this paper, two types of Levitin–Polyak well-posedness of vector equilibrium problems with variable domination structures are… 
2007
2007
Rate Quantization and Cross-Layer Design of Multiple-Antenna Base Stations with Transmit MMSE and Imperfect CSIT
In this paper, the downlink rate quantization and cross-layer scheduling design are investigated in multiuser multiple-input… 
2002
2002
Set constraint discovery: missing sensor data restoration using autoassociative regression machines
A sensor array can generate interdependent readings among the sensors. If the dependence is sufficiently strong, the readings may… 
1996
1996
Tarskian set constraints
We investigate set constraints over set expressions with Tarskian functional and relational operations. Unlike the Herbrand… 
1994
1994
Set Constraints and Logic Programming
Set constraints are inclusion relations between expressions denoting sets of ground terms over a ranked alphabet. They are the… 
1993
1993
Set Constraints in Program Analysis
domains employed in abstract interpretation are typically required to satisfy the finite ascending chains condition (or some… 
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)