The following pages link to Automated Reasoning (Q5307082):
Displaying 9 items.
- The 2013 evaluation of SMT-COMP and SMT-LIB (Q286784) (← links)
- Internal axioms for domain semirings (Q627202) (← links)
- Lightweight relevance filtering for machine-generated resolution problems (Q1006731) (← links)
- The CADE-14 ATP system competition (Q1272606) (← links)
- Translating higher-order clauses to first-order clauses (Q2471742) (← links)
- Subsumption Algorithms for Three-Valued Geometric Resolution (Q2817925) (← links)
- The design of the CADE-13 ATP system competition (Q4647509) (← links)
- Citius altius fortius (Q4916218) (← links)
- A multi-clause dynamic deduction algorithm based on standard contradiction separation rule (Q6086313) (← links)