Intuitionistic Tableau Extracted
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
Trust and Automation in Verification Tools
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL
Theoretical Computer Science
A mechanical verification of the stressing algorithm for negative cost cycle detection in networks
Science of Computer Programming
The Mechanical Verification of a DPLL-Based Satisfiability Solver
Electronic Notes in Theoretical Computer Science (ENTCS)
Formally Verified Tableau-Based Reasoners for a Description Logic
Journal of Automated Reasoning
Hi-index | 0.00 |