| Partial Quantifier Elimination With Learning. | 0 | 0.34 | 2019 |
| Efficient verification of multi-property designs (The benefit of wrong assumptions) | 1 | 0.39 | 2018 |
| Improving Convergence Rate Of IC3. | 0 | 0.34 | 2018 |
| Complete Test Sets And Their Approximations | 1 | 0.42 | 2018 |
| Quantifier Elimination With Structural Learning. | 0 | 0.34 | 2018 |
| Generation of complete test sets. | 1 | 0.38 | 2018 |
| Efficient Verification of Multi-Property Designs (The Benefit of Wrong Assumptions) (Extended Version). | 0 | 0.34 | 2017 |
| Property Checking Without Invariant Generation. | 1 | 0.48 | 2016 |
| Property Checking By Logic Relaxation | 1 | 0.41 | 2016 |
| Equivalence Checking By Logic Relaxation | 3 | 0.64 | 2015 |
| Equivalence Checking and Simulation By Computing Range Reduction | 3 | 0.52 | 2015 |
| Software for Quantifier Elimination in Propositional Logic. | 1 | 0.40 | 2014 |
| Quantifier elimination via clause redundancy | 4 | 0.62 | 2013 |
| Verification of Sequential Circuits by Tests-As-Proofs Paradigm. | 0 | 0.34 | 2013 |
| Quantifier elimination by dependency sequents | 0 | 0.34 | 2012 |
| Checking Satisfiability by Dependency Sequents | 0 | 0.34 | 2012 |
| Removal of Quantifiers by Elimination of Boundary Points | 2 | 0.39 | 2012 |
| Generating high-quality tests for Boolean circuits by treating tests as proof encoding | 2 | 0.45 | 2010 |
| Sat-solving based on boundary point elimination | 5 | 0.55 | 2010 |
