Pages that link to "Item:Q846163"
From MaRDI portal
The following pages link to Optimal length resolution refutations of difference constraint systems (Q846163):
Displaying 18 items.
- On approximating optimal weight ``no''-certificates in weighted difference constraint systems (Q721917) (← links)
- On the negative cost girth problem in planar networks (Q891820) (← links)
- Empirical analysis of algorithms for the shortest negative cost cycle problem (Q1634773) (← links)
- Randomized algorithms for finding the shortest negative cost cycle in networks (Q1693163) (← links)
- Improved algorithms for optimal length resolution refutation in difference constraint systems (Q1941901) (← links)
- On the parametrized complexity of Read-once refutations in UTVPI+ constraint systems (Q2049975) (← links)
- Analyzing unit read-once refutations in difference constraint systems (Q2055789) (← links)
- On the lengths of tree-like and dag-like cutting plane refutations of Horn constraint systems. Horn constraint systems and cutting plane refutations (Q2095546) (← links)
- Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419) (← links)
- Tree-like unit refutations in Horn constraint systems (Q2232285) (← links)
- Polynomial time algorithms for optimal length tree-like refutations of linear infeasibility in UTVPI constraints (Q2235285) (← links)
- A polynomial time algorithm for read-once certification of linear infeasibility in UTVPI constraints (Q2415363) (← links)
- Analyzing read-once cutting plane proofs in Horn systems (Q2673307) (← links)
- Integer feasibility and refutations in UTVPI constraints using bit-scaling (Q2684489) (← links)
- Unit read-once refutations for systems of difference constraints (Q6174656) (← links)
- Farkas Bounds on Horn Constraint Systems (Q6489318) (← links)
- Arc-dependent networks: theoretical insights and a computational study (Q6588520) (← links)
- Parameterized and exact-exponential algorithms for the read-once integer refutation problem in UTVPI constraints (Q6606248) (← links)
