DoRon B. Motter

Publication Activity (10 Years)

Years Active: 2002-2005
Publications (10 Years): 0

Publications

DoRon B. Motter, Jarrod A. Roy, Igor L. Markov
Resolution cannot polynomially simulate compressed-BFS. Ann. Math. Artif. Intell. 44 (1-2) (2005)
DoRon B. Motter, Igor L. Markov
A Compressed Breadth-First Search for Satisfiability. ALENEX (2002)
DoRon B. Motter, Igor L. Markov
Overcoming Resolution-Based Lower Bounds for SAT Solvers. IWLS (2002)