{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:07:45Z","timestamp":1729613265264,"version":"3.28.0"},"reference-count":37,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/icdmw.2018.00175","type":"proceedings-article","created":{"date-parts":[[2019,2,12]],"date-time":"2019-02-12T01:55:06Z","timestamp":1549936506000},"page":"1224-1232","source":"Crossref","is-referenced-by-count":1,"title":["Closed Frequent Itemset Mining with Arbitrary Side Constraints"],"prefix":"10.1109","author":[{"given":"Gokberk","family":"Kocak","sequence":"first","affiliation":[]},{"given":"Ozgur","family":"Akgun","sequence":"additional","affiliation":[]},{"given":"Ian","family":"Miguel","sequence":"additional","affiliation":[]},{"given":"Peter","family":"Nightingale","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Solution dominance over constraint satisfaction problems","year":"0","author":"guns","key":"ref33"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2013.92"},{"key":"ref31","first-page":"21","article-title":"Closet: An efficient algorithm for mining frequent closed itemsets","volume":"4","author":"pei","year":"2000","journal-title":"ACM SIGMOD Workshop on Research Issues in Data Mining and Knowledge Discovery"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2001.989514"},{"key":"ref37","article-title":"Gecode","author":"schulte","year":"0","journal-title":"Software download and online material at the website"},{"key":"ref36","first-page":"502","article-title":"MiniSat: A SAT solver with conflict-clause minimization","author":"een","year":"2005","journal-title":"Proc 8th International Conf Theory Application Satisfiability Testing"},{"key":"ref35","article-title":"Efficient implementations of apriori and eclat","author":"borgelt","year":"2003","journal-title":"FIMI'03 Proceedings of the IEEE ICDM workshop on frequent itemset mining implementations"},{"journal-title":"Extensible automated constraint modelling via refinement of abstract problem specifications","year":"2014","author":"akg\u00fcm","key":"ref34"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/173"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98334-9_24"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-40627-0_11"},{"key":"ref13","first-page":"3","article-title":"Breaking conditional symmetry in automated constraint modelling with conjure","author":"akg\u00fcn","year":"2014","journal-title":"ECAI"},{"key":"ref14","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1609\/aaai.v25i1.7820","article-title":"Extensible automated constraint modelling","author":"akg\u00fcn","year":"2011","journal-title":"Proceedings of the Twenty-Fifth AAAI Conference on Artificial Intelligence"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"590","DOI":"10.1007\/978-3-319-10428-7_43","article-title":"Automatically improving constraint models in Savile Row through associative-commutative common subexpression elimination","author":"nightingale","year":"2014","journal-title":"20th International Conference on Principles and Practice of Constraint Programming (CP 2014)"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"330","DOI":"10.1007\/978-3-319-23219-5_23","article-title":"Automatically improving SAT encoding of constraint problems through common subexpression elimination in Savile Row","author":"nightingale","year":"2015","journal-title":"Proceedings of the 21st International Conference on Principles and Practice of Constraint Programming (CP 2015)"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2017.07.001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-98334-9_1"},{"key":"ref19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/2975585","article-title":"Implementing efficient all solutions sat solvers","volume":"21","author":"toda","year":"2016","journal-title":"Journal of Experimental Algorithmics (JEA)"},{"key":"ref28","first-page":"98","article-title":"Minion: A fast scalable constraint solver","author":"gent","year":"2006","journal-title":"Proceedings of ECAI'2006"},{"journal-title":"UCI Machine Learning Repository","year":"2017","author":"dheeru","key":"ref4"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008287028851"},{"key":"ref3","doi-asserted-by":"crossref","DOI":"10.1002\/widm.1207","article-title":"A survey of itemset mining","volume":"7","author":"fournier-viger","year":"2017","journal-title":"Wiley Interdisciplinary Reviews Data Mining and Knowledge Discovery"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/ICDM.2004.10093"},{"key":"ref29","article-title":"Lcm ver. 2: Efficient mining algorithms for frequent\/closed\/maximal itemsets","volume":"126","author":"uno","year":"2004","journal-title":"FIMI"},{"journal-title":"Lymphography domain","year":"1988","author":"zwitter","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10601-008-9047-y"},{"key":"ref7","first-page":"73","article-title":"The essence of essence","author":"frisch","year":"2005","journal-title":"International Workshop on Modelling and Reformulating Constraint Satisfaction Problems"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1093\/bib\/bbt074"},{"key":"ref9","first-page":"80","article-title":"The design of essence: A constraint language for specifying combinatorial problems","volume":"7","author":"frisch","year":"2007","journal-title":"IJCAI"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/170036.170072"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2015.09.007"},{"journal-title":"Handbook of Constraint Programming","year":"2006","author":"rossi","key":"ref22"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1145\/1401890.1401919"},{"journal-title":"Introduction to Operations Research","year":"2010","author":"hillier","key":"ref24"},{"key":"ref23","volume":"185","author":"biere","year":"2009","journal-title":"Handbook of Satisfiability"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1145\/378239.379017"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605925"}],"event":{"name":"2018 IEEE International Conference on Data Mining Workshops (ICDMW)","start":{"date-parts":[[2018,11,17]]},"location":"Singapore, Singapore","end":{"date-parts":[[2018,11,20]]}},"container-title":["2018 IEEE International Conference on Data Mining Workshops (ICDMW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8626049\/8637356\/08637581.pdf?arnumber=8637581","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,14]],"date-time":"2024-07-14T18:28:29Z","timestamp":1720981709000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8637581\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":37,"URL":"https:\/\/doi.org\/10.1109\/icdmw.2018.00175","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}