Pages that link to "Item:Q4015412"
From MaRDI portal
The following pages link to Incremental Linear Constraint Solving and Detection of Implicit Equalities (Q4015412):
Displaying 9 items.
- Equality detection for linear arithmetic constraints (Q621462) (← links)
- Incremental constraint deletion in systems of linear constraints (Q672413) (← links)
- The use of the optimal partition in a linear programming solution for postoptimal analysis (Q1342079) (← links)
- Consistency, redundancy, and implied equalities in linear systems (Q1380438) (← links)
- Finding a maximal element of a non-negative convex set through its characteristic cone: an application to finding a strictly complementary solution (Q1655360) (← links)
- An algorithm-independent measure of progress for linear constraint propagation (Q2112621) (← links)
- Algorithm to find invariant linear inequality constraints in programs (Q3741026) (← links)
- Repeated redundant inequalities in constraint logic programming (Q5096306) (← links)
- Computer Aided Verification (Q5900703) (← links)
