| |
| 2005 | ||
|---|---|---|
| 3 | EE | DoRon B. Motter, Jarrod A. Roy, Igor L. Markov: Resolution cannot polynomially simulate compressed-BFS. Ann. Math. Artif. Intell. 44(1-2): 121-156 (2005) |
| 2002 | ||
| 2 | EE | DoRon B. Motter, Igor L. Markov: A Compressed Breadth-First Search for Satisfiability. ALENEX 2002: 29-42 |
| 1 | DoRon B. Motter, Igor L. Markov: Overcoming Resolution-Based Lower Bounds for SAT Solvers. IWLS 2002: 373-378 | |
| 1 | Igor L. Markov | [1] [2] [3] |
| 2 | Jarrod A. Roy | [3] |