

Author: Leoni V. A. Nasini G. L.
Publisher: Taylor & Francis Ltd
ISSN: 0020-7160
Source: International Journal of Computer Mathematics, Vol.87, Iss.15, 2010-12, pp. : 3330-3343
Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.
Abstract
Related content


By Istrate Gabriel Boettcher Stefan Percus Allon
Annals of Mathematics and Artificial Intelligence, Vol. 44, Iss. 4, 2005-08 ,pp. :


Computational Complexity in Algebraic Systems
Siberian Mathematical Journal, Vol. 45, Iss. 6, 2004-11 ,pp. :






The complexity of minimal satisfiability problems
By Kirousis L.M. Kolaitis P.G.
Information and Computation, Vol. 187, Iss. 1, 2003-11 ,pp. :