Author： Goerdt A.
Publisher： Academic Press
ISSN： 0022-0000
Source： Journal of Computer and System Sciences, Vol.53, Iss.3, 1996-12, pp. : 469-486
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
Automated Inference of Finite Unsatisfiability
Journal of Automated Reasoning, Vol. 47, Iss. 2, 2011-08 ,pp. :
Access to resources
Recommend
Upper bounds on the satisfiability threshold
By Dubois O.
Theoretical Computer Science, Vol. 265, Iss. 1, 2001-08 ,pp. :
By Zhang C. Lam K.-Y. Jajodia S.
Theoretical Computer Science, Vol. 226, Iss. 1, 1999-09 ,pp. :
Threshold counters with increments and decrements
By Busch
Theoretical Computer Science, Vol. 270, Iss. 1, 2002-01 ,pp. :
International Journal of General Systems, Vol. 36, Iss. 1, 2007-02 ,pp. :