Pages that link to "Item:Q1702822"
From MaRDI portal
The following pages link to A certifying algorithm for lattice point feasibility in a system of UTVPI constraints (Q1702822):
Displaying 3 items.
- On integer closure in a system of unit two variable per inequality constraints (Q2023870) (← links)
- Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints (Q2235285) (← links)
- Integer feasibility and refutations in UTVPI constraints using bit-scaling (Q2684489) (← links)
