Tom Morrisette

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2001

1 EE Tom Morrisette: The Unreasonable Effectiveness of Alternation-Based Satisfiability Algorithms. Electronic Notes in Discrete Mathematics 9: 254-268 (2001)