Pages that link to "Item:Q2803820"
From MaRDI portal
The following pages link to An Optimal Algorithm for Computing the Integer Closure of UTVPI Constraints (Q2803820):
Displaying 6 items.
- A certifying algorithm for lattice point feasibility in a system of UTVPI constraints (Q1702822) (← links)
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- On integer closure in a system of unit two variable per inequality constraints (Q2023870) (← links)
- A Graphical Theorem of the Alternative for UTVPI Constraints (Q2787434) (← links)
- A Bit-Scaling Algorithm for Integer Feasibility in UTVPI Constraints (Q2819515) (← links)
- Incremental satisfiability and implication for UTVPI constraints (Q2899084) (← links)