Pages that link to "Item:Q2023870"
From MaRDI portal
The following pages link to On integer closure in a system of unit two variable per inequality constraints (Q2023870):
Displaying 3 items.
- Incremental closure for systems of two variables per inequality (Q1733055) (← links)
- Integer feasibility and refutations in UTVPI constraints using bit-scaling (Q2684489) (← links)
- Parameterized and exact-exponential algorithms for the read-once integer refutation problem in UTVPI constraints (Q6606248) (← links)