{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:47:11Z","timestamp":1725490031416},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540742395"},{"type":"electronic","value":"9783540742401"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74240-1_43","type":"book-chapter","created":{"date-parts":[[2007,8,27]],"date-time":"2007-08-27T07:04:18Z","timestamp":1188198258000},"page":"494-505","source":"Crossref","is-referenced-by-count":3,"title":["An O(1.787 n )-Time Algorithm for Detecting a Singleton Attractor in a Boolean Network Consisting of AND\/OR Nodes"],"prefix":"10.1007","author":[{"given":"Takeyuki","family":"Tamura","sequence":"first","affiliation":[]},{"given":"Tatsuya","family":"Akutsu","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"43_CR1","unstructured":"Akutsu, T.: On finding attractors in Boolean Networks using SAT algorithms (manuscript)"},{"key":"43_CR2","first-page":"151","volume":"9","author":"T. Akutsu","year":"1998","unstructured":"Akutsu, T., Kuhara, S., Maruyama, O., Miyano, S.: A system for identifying genetic networks from gene expression patterns produced by gene disruptions and overexpressions. Genome Informatics\u00a09, 151\u2013160 (1998)","journal-title":"Genome Informatics"},{"key":"43_CR3","doi-asserted-by":"publisher","first-page":"727","DOI":"10.1093\/bioinformatics\/16.8.727","volume":"16","author":"T. Akutsu","year":"2000","unstructured":"Akutsu, T., Miyano, S., Kuhara, S.: Inferring qualitative relations in genetic networks and metabolic pathways. Bioinformatics\u00a016, 727\u2013734 (2000)","journal-title":"Bioinformatics"},{"key":"43_CR4","doi-asserted-by":"publisher","first-page":"5660","DOI":"10.1103\/PhysRevLett.84.5660","volume":"84","author":"R. Albert","year":"2000","unstructured":"Albert, R., Barabasi, A-L.: Dynamics of complex systems: Scaling laws for the period of Boolean networks. Physical Review Letters\u00a084, 5660\u20135663 (2000)","journal-title":"Physical Review Letters"},{"key":"43_CR5","doi-asserted-by":"publisher","first-page":"88701","DOI":"10.1103\/PhysRevLett.94.088701","volume":"94","author":"B. Drossel","year":"2005","unstructured":"Drossel, B., Mihaljev, T., Greil, F.: Number and length of attractors in a critical Kauffman model with connectivity one. Physical Review Letters\u00a094, 88701 (2005)","journal-title":"Physical Review Letters"},{"key":"43_CR6","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1016\/0022-5193(73)90208-7","volume":"39","author":"L. Glass","year":"1973","unstructured":"Glass, L., Kauffman, S.A.: The logical analysis of continuous, nonlinear biochemical control networks. Journal of Theoretical Biology\u00a039, 103\u2013129 (1973)","journal-title":"Journal of Theoretical Biology"},{"key":"43_CR7","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1023\/A:1006340920104","volume":"24","author":"E.A. Hirsch","year":"2000","unstructured":"Hirsch, E.A.: New worst-case upper bounds for SAT. Journal of Automated Reasoning\u00a024, 397\u2013420 (2000)","journal-title":"Journal of Automated Reasoning"},{"issue":"6","key":"43_CR8","doi-asserted-by":"publisher","first-page":"469","DOI":"10.1007\/s001099900023","volume":"77","author":"S. Huang","year":"1999","unstructured":"Huang, S.: Gene expression profiling, genetic networks, and cellular states: an integrating concept for tumorigenesis and drug discovery. Journal of Molecular Medicine\u00a077(6), 469\u2013480 (1999)","journal-title":"Journal of Molecular Medicine"},{"key":"43_CR9","unstructured":"Iwama, K., Tamaki, S.: Improved upper bounds for 3-SAT. In: Proc. 15th ACM-SIAM Symposium on Discrete Algorithms, p. 328 (2004)"},{"key":"43_CR10","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1016\/0022-5193(69)90015-0","volume":"22","author":"S. Kauffman","year":"1968","unstructured":"Kauffman, S.: Metabolic stability and epigenesis in randomly connected genetic nets. Journal of Theoretical Biology\u00a022, 437\u2013467 (1968)","journal-title":"Journal of Theoretical Biology"},{"key":"43_CR11","volume-title":"The Origin of Order: Self-organization and selection in evolution","author":"S. Kauffman","year":"1993","unstructured":"Kauffman, S.: The Origin of Order: Self-organization and selection in evolution. Oxford Univ. Press, New York (1993)"},{"issue":"25","key":"43_CR12","doi-asserted-by":"publisher","first-page":"14796","DOI":"10.1073\/pnas.2036429100","volume":"100","author":"S. Kauffman","year":"2003","unstructured":"Kauffman, S., Peterson, C., Samuelsson, B., Troein, C.: Random Boolean network models and the yeast transcriptional network. Proceedings of the National Academy of Sciences\u00a0100(25), 14796\u201314799 (2003)","journal-title":"Proceedings of the National Academy of Sciences"},{"key":"43_CR13","doi-asserted-by":"crossref","unstructured":"Leone, M., Pagnani, A., Parisi, G., Zagordi, O.: Finite size corrections to random Boolean networks, cond-mat\/0611088 (2006)","DOI":"10.1088\/1742-5468\/2006\/12\/P12012"},{"key":"43_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1007\/3-540-46238-4_7","volume-title":"AI*IA 99:Advances in Artificial Intelligence","author":"M. Milano","year":"2000","unstructured":"Milano, M., Roli, A.: Solving the satisfiability problem through Boolean networks. In: Lamma, E., Mello, P. (eds.) AI*IA 99:Advances in Artificial Intelligence. LNCS (LNAI), vol.\u00a01792, pp. 72\u201393. Springer, Heidelberg (2000)"},{"key":"43_CR15","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/j.jtbi.2005.03.015","volume":"236","author":"A. Mochizuki","year":"2005","unstructured":"Mochizuki, A.: An analytical study of the number of steady states in gene regulatory networks. J. Theoret. Biol.\u00a0236, 291\u2013310 (2005)","journal-title":"J. Theoret. Biol."},{"key":"43_CR16","doi-asserted-by":"crossref","first-page":"98701","DOI":"10.1103\/PhysRevLett.90.098701","volume":"90","author":"B. Samuelsson","year":"2003","unstructured":"Samuelsson, B., Troein, C.: Superpolynomial growth in the number of attractors in Kauffman networks. Physical Review Letters\u00a090, 98701 (2003)","journal-title":"Physical Review Letters"},{"issue":"4","key":"43_CR17","doi-asserted-by":"publisher","first-page":"48701","DOI":"10.1103\/PhysRevLett.93.048701","volume":"93","author":"I. Shmulevich","year":"2004","unstructured":"Shmulevich, I., Kauffman, S.: Activities and sensitivities in Boolean network models. Physical Review Letters\u00a093(4), 48701 (2004)","journal-title":"Physical Review Letters"},{"issue":"6","key":"43_CR18","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1002\/cplx.6130010612","volume":"1","author":"R. Somogyi","year":"1996","unstructured":"Somogyi, R., Sniegoski, C.A.: Modeling the complexity of genetic networks: Understanding multigenic and pleitropic regulation. Complexity\u00a01(6), 45\u201363 (1996)","journal-title":"Complexity"},{"key":"43_CR19","doi-asserted-by":"crossref","unstructured":"Yamamoto, M.: An improved \u00d5 (1.234m)-time deterministic algorithm for SAT. In: Proc. International Symposium on Algorithms and Computation, pp. 644\u2013653 (2005)","DOI":"10.1007\/11602613_65"},{"key":"43_CR20","doi-asserted-by":"crossref","unstructured":"Zhang, S., Hayashida, M., Akutsu, T., Ching, W., Ng, M.K.: Algorithms for finding small attractors in Boolean networks. EURASIP Journal on Bioinformatics and Systems Biology (in press)","DOI":"10.1155\/2007\/20180"}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74240-1_43.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:15:26Z","timestamp":1619504126000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74240-1_43"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540742395","9783540742401"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74240-1_43","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}