Pages that link to "Item:Q2344728"
From MaRDI portal
The following pages link to Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728):
Displaying 4 items.
- Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419) (← links)
- Analyzing read-once cutting plane proofs in Horn systems (Q2673307) (← links)
- Integer feasibility and refutations in UTVPI constraints using bit-scaling (Q2684489) (← links)
- Trichotomy for the reconfiguration problem of integer linear systems (Q5896129) (← links)
