Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
Partition-based logical reasoning for first-order and propositional theories
Artificial Intelligence - Special volume on reformulation
On interpolation in decision procedures
TABLEAUX'11 Proceedings of the 20th international conference on Automated reasoning with analytic tableaux and related methods
VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation
Propositional interpolation and abstract interpretation
ESOP'10 Proceedings of the 19th European conference on Programming Languages and Systems
Interpolant strength revisited
SAT'12 Proceedings of the 15th international conference on Theory and Applications of Satisfiability Testing
| Hi-index | 0.00 |