{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T03:04:39Z","timestamp":1742958279982,"version":"3.40.3"},"publisher-location":"Singapore","reference-count":14,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811076046"},{"type":"electronic","value":"9789811076053"}],"license":[{"start":{"date-parts":[[2017,12,20]],"date-time":"2017-12-20T00:00:00Z","timestamp":1513728000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-981-10-7605-3_46","type":"book-chapter","created":{"date-parts":[[2017,12,19]],"date-time":"2017-12-19T06:22:45Z","timestamp":1513664565000},"page":"280-286","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Limited Constraint Problems Reasoning on Computer Based on \u201cAnd\/Or\u201d Tree"],"prefix":"10.1007","author":[{"given":"Danyang","family":"Cao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lina","family":"Duan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xue","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lei","family":"Gao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,12,20]]},"reference":[{"issue":"4","key":"46_CR1","doi-asserted-by":"publisher","first-page":"593","DOI":"10.3724\/SP.J.1001.2011.03736","volume":"22","author":"S Wang","year":"2011","unstructured":"Wang, S., Zhang, L.: Qualitative and quantitative representing and reasoning for goals satisfiability. J. Softw. 22(4), 593\u2013608 (2011)","journal-title":"J. Softw."},{"key":"46_CR2","unstructured":"Xu, H., Li, X.Z.: A parallel reasoning algorithm based on fuzzy petri nets. J. Syst. Simul. S1 (2007)"},{"issue":"10","key":"46_CR3","doi-asserted-by":"publisher","first-page":"2635","DOI":"10.1360\/jos182635","volume":"18","author":"ZQ Liu","year":"2008","unstructured":"Liu, Z.Q., Lin, D.D.: Fuzzy decision tree based inference techniques for network forensic analysis. J. Softw. 18(10), 2635\u20132644 (2008)","journal-title":"J. Softw."},{"issue":"3","key":"46_CR4","first-page":"135","volume":"23","author":"K Apt","year":"2003","unstructured":"Apt, K.: Principles of constraint programming. J. Camb. Univ. Press. 23(3), 135\u2013147 (2003)","journal-title":"J. Camb. Univ. Press."},{"issue":"2","key":"46_CR5","first-page":"687","volume":"923","author":"R Dechter","year":"2007","unstructured":"Dechter, R.: Constraint processing. Acta Autom. Sin. 923(2), 687 (2007)","journal-title":"Acta Automatica Sinica"},{"key":"46_CR6","volume-title":"Artificial Intelligence and Its Application","author":"WS Wang","year":"2000","unstructured":"Wang, W.S.: Artificial Intelligence and Its Application. Electronic Industry Press, Beijing (2000)"},{"issue":"7","key":"46_CR7","first-page":"1131","volume":"39","author":"HL Wang","year":"2007","unstructured":"Wang, H.L., Feng, Y.Q.: Research on decomposition and transformation of complex decision problem based on cloud AND\/OR tree. J. Harbin Inst. Technol. 39(7), 1131\u20131134 (2007)","journal-title":"J. Harbin Inst. Technol."},{"issue":"2","key":"46_CR8","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11760-011-0222-z","volume":"6","author":"GJ Peng","year":"2012","unstructured":"Peng, G.J., Hwang, W.L., Chen, S.J.: AND-OR tree-based mode selection for video coding. Signal Image Video Process. 6(2), 259\u2013271 (2012)","journal-title":"Signal Image Video Process."},{"issue":"2","key":"46_CR9","first-page":"122","volume":"42","author":"T Suzuki","year":"2012","unstructured":"Suzuki, T., Nakamura, R.: The Eigen distribution of an AND-OR tree under directional algorithms. IAENG Int. J. Appl. Math. 42(2), 122\u2013128 (2012)","journal-title":"IAENG Int. J. Appl. Math."},{"issue":"2","key":"46_CR10","first-page":"727","volume":"5","author":"XN Ma","year":"2009","unstructured":"Ma, X.N., Dong, B.T.: AND\/OR Tree-based approach for web service composition. J. Comput. Inf. Syst. 5(2), 727\u2013734 (2009)","journal-title":"J. Comput. Inf. Syst."},{"issue":"1\u20136","key":"46_CR11","first-page":"276","volume":"17","author":"P Rechenberg","year":"1975","unstructured":"Rechenberg, P.: Was ist backtrack-programmierung? J. it \u2013 Inf. Technol. 17(1\u20136), 276\u2013282 (1975)","journal-title":"J. it \u2013 Inf. Technol."},{"key":"46_CR12","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1016\/j.ijepes.2015.11.071","volume":"78","author":"K Ayan","year":"2016","unstructured":"Ayan, K., Kilic, U.: Optimal power flow of two-terminal HVDC systems using backtracking search algorithm. Int. J. Electr. Power Energy Syst. 78, 326\u2013335 (2016)","journal-title":"Int. J. Electr. Power Energy Syst."},{"key":"46_CR13","first-page":"649","volume":"274","author":"X Shao","year":"2016","unstructured":"Shao, X., Han, D.: A tow-grid method with backtracking technique for the stream function form of the Navier-Stokes equations. Appl. Math. Comput. 274, 649\u2013660 (2016)","journal-title":"Appl. Math. Comput."},{"issue":"1","key":"46_CR14","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/BF01582139","volume":"61","author":"A Boneh","year":"1993","unstructured":"Boneh, A., Boneh, S., Caror, R.J.: Constraint classification in mathematical programming. Math. Program. 61(1), 61\u201373 (1993)","journal-title":"Math. Program."}],"container-title":["Lecture Notes in Electrical Engineering","Advances in Computer Science and Ubiquitous Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-7605-3_46","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,17]],"date-time":"2019-05-17T22:07:00Z","timestamp":1558130820000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-7605-3_46"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,12,20]]},"ISBN":["9789811076046","9789811076053"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-7605-3_46","relation":{},"ISSN":["1876-1100","1876-1119"],"issn-type":[{"type":"print","value":"1876-1100"},{"type":"electronic","value":"1876-1119"}],"subject":[],"published":{"date-parts":[[2017,12,20]]},"assertion":[{"value":"20 December 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CUTE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Ubiquitous Information Technologies and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taichung","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Taiwan","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 December 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 December 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cute2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}