Matthew Lewis 0004
4 publications
1 venues
H Index 4
Links
| Name | Venue | Year | citations |
|---|---|---|---|
Encoding Techniques, Craig Interpolants and Bounded Model Checking for Incomplete Designs.
|
SAT | 2010 | 18 |
| PaQuBE: Distributed QBF Solving with Advanced Knowledge Sharing.
|
SAT | 2009 | 18 |
| Speedup Techniques Utilized in Modern SAT Solvers.
|
SAT | 2005 | 19 |
| Early Conflict Detection Based BCP for SAT Solving.
|
SAT | 2004 | 14 |