{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:55Z","timestamp":1750221355052,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":13,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,4,9]],"date-time":"2018-04-09T00:00:00Z","timestamp":1523232000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,4,9]]},"DOI":"10.1145\/3167132.3167262","type":"proceedings-article","created":{"date-parts":[[2018,7,3]],"date-time":"2018-07-03T13:54:10Z","timestamp":1530626050000},"page":"1203-1210","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Declarative algorithms for generation, counting and random sampling of term algebras"],"prefix":"10.1145","author":[{"given":"Paul","family":"Tarau","sequence":"first","affiliation":[{"name":"University of North Texas"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,4,9]]},"reference":[{"volume-title":"2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Markus E. Nebel and Wojciech Szpankowski (Eds.). SIAM, 52--61","author":"Bacher A.","key":"e_1_3_2_1_1_1","unstructured":"A. Bacher , O. Bodini , and A. Jacquot . 2013. Exact-size Sampling for Motzkin Trees in Linear Time via Boltzmann Samplers and Holonomic Specification . In 2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Markus E. Nebel and Wojciech Szpankowski (Eds.). SIAM, 52--61 . A. Bacher, O. Bodini, and A. Jacquot. 2013. Exact-size Sampling for Motzkin Trees in Linear Time via Boltzmann Samplers and Holonomic Specification. In 2013 Proceedings of the Tenth Workshop on Analytic Algorithmics and Combinatorics (ANALCO), Markus E. Nebel and Wojciech Szpankowski (Eds.). SIAM, 52--61."},{"key":"e_1_3_2_1_2_1","volume-title":"Software (Haskell stack module), published electronically at https:\/\/github.com\/maciej-bendkowski\/boltzmann-brain","author":"Bendkowski Maciej","year":"2017","unstructured":"Maciej Bendkowski . 2017. Boltzmann-brain. ( 2017 ). Software (Haskell stack module), published electronically at https:\/\/github.com\/maciej-bendkowski\/boltzmann-brain . Maciej Bendkowski. 2017. Boltzmann-brain. (2017). Software (Haskell stack module), published electronically at https:\/\/github.com\/maciej-bendkowski\/boltzmann-brain."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49192-8_15"},{"key":"e_1_3_2_1_4_1","volume-title":"PADL 2017, Paris, France, January 16-17, 2017, Proceedings (Lecture Notes in Computer Science), Yuliya Lierler and Walid Taha (Eds.)","volume":"10137","author":"Bendkowski Maciej","year":"2017","unstructured":"Maciej Bendkowski , Katarzyna Grygiel , and Paul Tarau . 2017 . Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In Practical Aspects of Declarative Languages - 19th International Symposium , PADL 2017, Paris, France, January 16-17, 2017, Proceedings (Lecture Notes in Computer Science), Yuliya Lierler and Walid Taha (Eds.) , Vol. 10137 . Springer, 120--135. Best student paper award. Maciej Bendkowski, Katarzyna Grygiel, and Paul Tarau. 2017. Boltzmann Samplers for Closed Simply-Typed Lambda Terms. In Practical Aspects of Declarative Languages - 19th International Symposium, PADL 2017, Paris, France, January 16-17, 2017, Proceedings (Lecture Notes in Computer Science), Yuliya Lierler and Walid Taha (Eds.), Vol. 10137. Springer, 120--135. Best student paper award."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"volume-title":"The Art of Computer Programming","author":"Knuth Donald E.","key":"e_1_3_2_1_6_1","unstructured":"Donald E. Knuth . 2006. The Art of Computer Programming , Volume 4 , Fascicle 4: Generating All Trees-History of Combinatorial Generation (Art of Computer Programming). Addison-Wesley Professional . Donald E. Knuth. 2006. The Art of Computer Programming, Volume 4, Fascicle 4: Generating All Trees-History of Combinatorial Generation (Art of Computer Programming). Addison-Wesley Professional."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2012.11.019"},{"key":"e_1_3_2_1_8_1","volume-title":"Boltzmann samplers for random generation of lambda terms. CoRR abs\/1404.3875","author":"Lescanne Pierre","year":"2014","unstructured":"Pierre Lescanne . 2014. Boltzmann samplers for random generation of lambda terms. CoRR abs\/1404.3875 ( 2014 ). http:\/\/arxiv.org\/abs\/1404.3875 Pierre Lescanne. 2014. Boltzmann samplers for random generation of lambda terms. CoRR abs\/1404.3875 (2014). http:\/\/arxiv.org\/abs\/1404.3875"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1982595.1982615"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1051\/ita\/1985190201791"},{"volume-title":"The On-Line Encyclopedia of Integer Sequences. (2017). Published electronically at https:\/\/oeis.org\/","author":"Sloane N. J. A.","key":"e_1_3_2_1_11_1","unstructured":"N. J. A. Sloane . 2017. The On-Line Encyclopedia of Integer Sequences. (2017). Published electronically at https:\/\/oeis.org\/ . N. J. A. Sloane. 2017. The On-Line Encyclopedia of Integer Sequences. (2017). Published electronically at https:\/\/oeis.org\/."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068413000537"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1017\/S1471068411000494"}],"event":{"name":"SAC 2018: Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Pau France","acronym":"SAC 2018"},"container-title":["Proceedings of the 33rd Annual ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167262","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3167132.3167262","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:26:06Z","timestamp":1750213566000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3167132.3167262"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,4,9]]},"references-count":13,"alternative-id":["10.1145\/3167132.3167262","10.1145\/3167132"],"URL":"https:\/\/doi.org\/10.1145\/3167132.3167262","relation":{},"subject":[],"published":{"date-parts":[[2018,4,9]]},"assertion":[{"value":"2018-04-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}