Mining Propositional Simplification Proofs for Small Validating Clauses
Electronic Notes in Theoretical Computer Science (ENTCS)
Applications of automated reasoning
KI'06 Proceedings of the 29th annual German conference on Artificial intelligence
Reflecting proofs in first-order logic with equality
CADE' 20 Proceedings of the 20th international conference on Automated Deduction
Slothrop: Knuth-Bendix completion with a modern termination checker
RTA'06 Proceedings of the 17th international conference on Term Rewriting and Applications
Termination tools in ordered completion
IJCAR'10 Proceedings of the 5th international conference on Automated Reasoning
WTCS'12 Proceedings of the 2012 international conference on Theoretical Computer Science: computation, physics and beyond
Hi-index | 0.00 |