Pages that link to "Item:Q777309"

The following pages link to Optimal length tree-like refutations of linear feasibility in UTVPI constraints (Q777309):

Displaying 2 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)