{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:59:19Z","timestamp":1725551959190},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540322030"},{"type":"electronic","value":"9783540322047"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11671404_2","type":"book-chapter","created":{"date-parts":[[2006,1,23]],"date-time":"2006-01-23T12:03:57Z","timestamp":1138017837000},"page":"30-44","source":"Crossref","is-referenced-by-count":0,"title":["An Enumeration Problem in Ordered Sets Leads to Possible Benchmarks for Run-Time Prediction Algorithms"],"prefix":"10.1007","author":[{"given":"Tushar S.","family":"Kulkarni","sequence":"first","affiliation":[]},{"given":"Bernd S. W.","family":"Schr\u00f6der","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1137\/0221022","volume":"21","author":"P.C. Chen","year":"1992","unstructured":"Chen, P.C.: Heuristic Sampling: A method for predicting the performance of tree searching programs. SIAM J. Comput.\u00a021, 295\u2013315 (1992)","journal-title":"SIAM J. Comput."},{"key":"2_CR2","first-page":"276","volume-title":"Encyclopedia of Artificial Intelligence","author":"R. Dechter","year":"1992","unstructured":"Dechter, R.: Constraint networks. In: Encyclopedia of Artificial Intelligence, pp. 276\u2013284. Wiley, New York (1992)"},{"key":"2_CR3","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/BF00419036","volume":"9","author":"D. Duffus","year":"1992","unstructured":"Duffus, D., R\u00f6dl, V., Sands, B., Woodrow, R.: Enumeration of order-preserving maps. Order\u00a09, 15\u201329 (1992)","journal-title":"Order"},{"key":"2_CR4","doi-asserted-by":"publisher","first-page":"121","DOI":"10.2307\/2005469","volume":"29","author":"D.E. Knuth","year":"1975","unstructured":"Knuth, D.E.: Estimating the efficiency of backtrack programs. Math. Comp.\u00a029, 121\u2013136 (1975)","journal-title":"Math. Comp."},{"key":"2_CR5","unstructured":"Kulkarni, T.: Experimental evaluation of selected algorithms for estimating the cost of solving a constraint satisfaction problem. MS. Thesis, Louisiana Tech University (2001)"},{"key":"2_CR6","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1016\/S0004-3702(96)00027-6","volume":"89","author":"G. Kondrak","year":"1997","unstructured":"Kondrak, G., van Beek, P.: A theoretical evaluation of selected backtracking algorithms. Artificial Intelligence\u00a089, 365\u2013387 (1997)","journal-title":"Artificial Intelligence"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1007\/BF01111294","volume":"10","author":"W.-P. Liu","year":"1993","unstructured":"Liu, W.-P., Wan, H.: Automorphisms and Isotone Self-Maps of Ordered Sets with Top and Bottom. Order\u00a010, 105\u2013110 (1993)","journal-title":"Order"},{"key":"2_CR8","first-page":"284","volume-title":"Encyclopedia of Artificial Intelligence","author":"A.K. Mackworth","year":"1992","unstructured":"Mackworth, A.K.: Constraint Satisfaction. In: Encyclopedia of Artificial Intelligence, pp. 284\u2013293. Wiley, New York (1992)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/jsco.1994.1035","volume":"18","author":"H.A. Priestley","year":"1994","unstructured":"Priestley, H.A., Ward, M.P.: A multipurpose backtracking algorithm. Journal of Symbolic Computation\u00a018, 1\u201340 (1994)","journal-title":"Journal of Symbolic Computation"},{"key":"2_CR10","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1137\/0207038","volume":"7","author":"P.W. Purdom","year":"1978","unstructured":"Purdom, P.W.: Tree size by partial backtracking. SIAM J. Comput.\u00a07, 481\u2013491 (1978)","journal-title":"SIAM J. Comput."},{"key":"2_CR11","unstructured":"Rival, I., Rutkowski, A.: Does almost every isotone self-map have a fixed point? In: Bolyai Math. Soc. Extremal Problems for Finite Sets. Bolyai Soc. Math. Studies 3, Vis\u00e9grad, Hungary, pp. 413\u2013422 (1991)"},{"key":"2_CR12","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-0053-6","volume-title":"Ordered Sets \u2013 An Introduction","author":"B. Schr\u00f6der","year":"2003","unstructured":"Schr\u00f6der, B.: Ordered Sets \u2013 An Introduction. Birkh\u00e4user Verlag, Boston (2003)"},{"key":"2_CR13","doi-asserted-by":"crossref","unstructured":"Schr\u00f6der, B.: The Automorphism Conjecture for Small Sets and Series Parallel Sets. To appear in ORDER (2005)","DOI":"10.1007\/s11083-005-9024-7"},{"key":"2_CR14","unstructured":"Sillito, J.: Arc consistency for general constraint satisfaction problems and estimating the cost of solving constraint satisfaction problems. M. Sc. thesis, University of Alberta (2000)"},{"key":"2_CR15","volume-title":"Foundations of Constraint Satisfaction","author":"E. Tsang","year":"1993","unstructured":"Tsang, E.: Foundations of Constraint Satisfaction. Academic Press, New York (1993)"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF00383949","volume":"9","author":"W. Xia","year":"1992","unstructured":"Xia, W.: Fixed point property and formal concept analysis. Order\u00a09, 255\u2013264 (1992)","journal-title":"Order"}],"container-title":["Lecture Notes in Computer Science","Formal Concept Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11671404_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:05:12Z","timestamp":1605643512000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11671404_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540322030","9783540322047"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/11671404_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}