Pages that link to "Item:Q1186697"
From MaRDI portal
The following pages link to A canonical form for generalized linear constraints (Q1186697):
Displaying 27 items.
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- On Fourier's algorithm for linear arithmetic constraints (Q688575) (← links)
- Rewriting union queries using views (Q816684) (← links)
- A method for simultaneous search for refutations and models by equational constraint solving (Q1198235) (← links)
- A unifying approach to temporal constraint reasoning (Q1274294) (← links)
- Computational complexity and constraint logic programming languages (Q1354033) (← links)
- Standard forms for rational linear arithmetic in constraint logic programming. (Q1354046) (← links)
- Practical issues on the projection of polyhedral sets (Q1356171) (← links)
- Consistency, redundancy, and implied equalities in linear systems (Q1380438) (← links)
- From local to global consistency in temporal constraint networks (Q1391930) (← links)
- Constrained dependencies (Q1391931) (← links)
- Querying temporal and spatial constraint networks in PTIME (Q1589478) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Algorithm and tools for constructing canonical forms of linear semi-algebraic formulas (Q1735326) (← links)
- A simple canonical form for nonlinear programming problems and its use (Q2420791) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- A note on the inversion join for polyhedral analysis (Q2814111) (← links)
- Speeding up polyhedral analysis by identifying common constraints (Q2814112) (← links)
- Variable Elimination for Disequations in Generalized Linear Constraint Systems (Q3140558) (← links)
- Typing Linear Constraints for Moding CLP( ${\cal R}$ ) Programs (Q3522065) (← links)
- Data Structures with Arithmetic Constraints: A Non-disjoint Combination (Q3655209) (← links)
- (Q3679037) (← links)
- Practical tools for reasoning about linear constraints (Q3989943) (← links)
- (Q4457204) (← links)
- From LP to LP: Programming with constraints (Q5096231) (← links)
- An Abstract Domain Extending Difference-Bound Matrices with Disequality Constraints (Q5452614) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)
