Resolution cannot polynomially simulate compressed-BFS

Author: Motter DoRon   Roy Jarrod   Markov Igor  

Publisher: Springer Publishing Company

ISSN: 1012-2443

Source: Annals of Mathematics and Artificial Intelligence, Vol.44, Iss.1-2, 2005-05, pp. : 121-156

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract