The following pages link to (Q4809071):
Displaying 9 items.
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- Empirical analysis of algorithms for the shortest negative cost cycle problem (Q1634773) (← links)
- Improved algorithms for optimal length resolution refutation in difference constraint systems (Q1941901) (← 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)
- Analyzing fractional Horn constraint systems (Q2205946) (← links)
- Tree-like unit refutations in Horn constraint systems (Q2232285) (← links)
- Feasibility checking in Horn constraint systems through a reduction based approach (Q2344728) (← links)
- SMT proof checking using a logical framework (Q2441776) (← links)
- A combinatorial algorithm for Horn programs (Q2445839) (← links)
