Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Asynchronous multi-core incremental SAT solving | 5 | 0.44 | 2013 |
| Some notes on model rotation. | 0 | 0.34 | 2013 |
| Concurrent clause strengthening | 2 | 0.37 | 2013 |
| Understanding, improving and parallelizing MUS finding using model rotation | 9 | 0.51 | 2012 |
| On Incremental Satisfiability and Bounded Model Checking. | 2 | 0.37 | 2011 |
| Cube and conquer: guiding CDCL SAT solvers by lookaheads | 37 | 1.28 | 2011 |
| Tarmo: A Framework For Parallelized Bounded Model Checking | 11 | 0.78 | 2009 |
| Finding guaranteed MUSes fast | 22 | 0.92 | 2008 |