The following pages link to SMTtoTPTP (Q25564):
Displaying 4 items.
- Solving quantified linear arithmetic by counterexample-guided instantiation (Q1688537) (← links)
- The TPTP problem library and associated infrastructure. From CNF to TH0, TPTP v6.4.0 (Q1694574) (← links)
- Automated deduction -- CADE-25. 25th international conference on automated deduction, Berlin, Germany, August 1--7, 2015. Proceedings (Q2516644) (← links)
- Beagle – A Hierarchic Superposition Theorem Prover (Q3454107) (← links)