DoRon B. Motter

According to our database, DoRon B. Motter authored at least 3 papers between 2002 and 2005.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2005

Resolution cannot polynomially simulate compressed-BFS.

DoRon B. Motter, Jarrod A. Roy, Igor L. Markov

Ann. Math. Artif. Intell., 2005

2002

Overcoming Resolution-Based Lower Bounds for SAT Solvers.

DoRon B. Motter, Igor L. Markov

Proceedings of the 11th IEEE/ACM International Workshop on Logic & Synthesis, 2002

A Compressed Breadth-First Search for Satisfiability.

DoRon B. Motter, Igor L. Markov

Proceedings of the Algorithm Engineering and Experiments, 4th International Workshop, 2002