The following pages link to Automated Reasoning (Q5307060):
Displaying 13 items.
- A decision procedure for the system E (of entailment). I (Q802540) (← links)
- Optimal length resolution refutations of difference constraint systems (Q846163) (← links)
- The SAT-based approach to separation logic (Q862390) (← links)
- HySAT: An efficient proof engine for bounded model checking of hybrid systems (Q883144) (← links)
- Delayed theory combination vs. Nelson-Oppen for satisfiability modulo theories: a comparative analysis (Q1037399) (← 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)
- Exact and parameterized algorithms for read-once refutations in Horn constraint systems (Q2151419) (← 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)
- A combinatorial algorithm for Horn programs (Q2445839) (← links)
