%0 Journal Article %1 journals/tcs/HagiyaRKS02 %A Hagiya, Masami %A Rose, John A. %A Komiya, Ken %A Sakamoto, Kensaku %D 2002 %J Theor. Comput. Sci. %K dblp %N 1 %P 59-71 %T Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms. %U http://dblp.uni-trier.de/db/journals/tcs/tcs287.html#HagiyaRKS02 %V 287

@article{journals/tcs/HagiyaRKS02, added-at = {2021-02-17T00:00:00.000+0100}, author = {Hagiya, Masami and Rose, John A. and Komiya, Ken and Sakamoto, Kensaku}, biburl = {https://www.bibsonomy.org/bibtex/21510e33d6c3a287368b7c86da565fe2d/dblp}, ee = {https://doi.org/10.1016/S0304-3975(02)00095-6}, interhash = {b23dc33a1419f3d23bfcbb62d839bb21}, intrahash = {1510e33d6c3a287368b7c86da565fe2d}, journal = {Theor. Comput. Sci.}, keywords = {dblp}, number = 1, pages = {59-71}, timestamp = {2024-04-08T18:49:21.000+0200}, title = {Complexity analysis of the SAT engine: DNA algorithms as probabilistic algorithms.}, url = {http://dblp.uni-trier.de/db/journals/tcs/tcs287.html#HagiyaRKS02}, volume = 287, year = 2002 }