Author: Li D.
Publisher: Elsevier
ISSN: 0304-3975
Source: Theoretical Computer Science, Vol.290, Iss.3, 2003-01, pp. : 2095-2107
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
Random 2-SAT: results and problems
Theoretical Computer Science, Vol. 265, Iss. 1, 2001-08 ,pp. :
Exact Max-SAT solvers for over-constrained problems
Journal of Heuristics, Vol. 12, Iss. 4-5, 2006-09 ,pp. :
DNA computing in vitro and in vivo
By Kari L.
Future Generation Computer Systems, Vol. 17, Iss. 7, 2001-05 ,pp. :
Theoretical Computer Science, Vol. 292, Iss. 3, 2003-01 ,pp. :