Pages that link to "Item:Q3140558"
From MaRDI portal
The following pages link to Variable Elimination for Disequations in Generalized Linear Constraint Systems (Q3140558):
Displaying 5 items.
- Projecting systems of linear inequalities with binary variables (Q646699) (← links)
- Incremental constraint deletion in systems of linear constraints (Q672413) (← links)
- Solving linear constraints over real and rational fields (Q2452760) (← links)
- Variable Elimination in Linear Constraints (Q3140557) (← links)
- Tractable disjunctions of linear constraints: Basic results and applications to temporal reasoning (Q5958761) (← links)