Luddy School of Informatics, Computing, and Engineering
Technical Report TR311:
Average Time Analysis of Clause Order Backtracking
Khaled Bugrara and Paul W. Purdom, Jr
The abstact is not available. Please see the full paper.
Sorry, no electronic version of this paper is currently available. See
The Trustees of