Completeness results for inequality provers
Artificial Intelligence
I had a dream: AAAI presidential address
AI Magazine
Journal of Automated Reasoning
A Linear Format for Resolution With Merging and a New Technique for Establishing Completeness
Journal of the ACM (JACM)
Automated Reasoning: Essays in Honor of Woody Bledsoe
Automated Reasoning: Essays in Honor of Woody Bledsoe
Variable Elimination and Chaining in a Resolution-based Prover for Inequalities
Proceedings of the 5th Conference on Automated Deduction
CADE-12 Proceedings of the 12th International Conference on Automated Deduction
| Hi-index | 0.00 |