{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:43:15Z","timestamp":1740123795055,"version":"3.37.3"},"reference-count":35,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T00:00:00Z","timestamp":1599696000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T00:00:00Z","timestamp":1599696000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Order"],"published-print":{"date-parts":[[2020,10]]},"DOI":"10.1007\/s11083-019-09516-0","type":"journal-article","created":{"date-parts":[[2020,9,10]],"date-time":"2020-09-10T08:40:39Z","timestamp":1599727239000},"page":"479-507","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Compact Representation for Modular Semilattices and Its Applications"],"prefix":"10.1007","volume":"37","author":[{"given":"Hiroshi","family":"Hirai","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5287-7475","authenticated-orcid":false,"given":"So","family":"Nakashima","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2020,9,10]]},"reference":[{"key":"9516_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59101-3","volume-title":"Combinatorial Theory","author":"M Aigner","year":"1997","unstructured":"Aigner, M.: Combinatorial Theory. Springer, Berlin (1997). Reprint of the 1979 original."},{"issue":"1","key":"9516_CR2","doi-asserted-by":"publisher","first-page":"142","DOI":"10.1016\/j.aam.2011.06.004","volume":"48","author":"F Ardila","year":"2012","unstructured":"Ardila, F., Owen, M., Sullivant, S.: Geodesics in CAT(0) cubical complexes. Adv. Appl. Math. 48(1), 142\u2013163 (2012)","journal-title":"Adv. Appl. Math."},{"key":"9516_CR3","doi-asserted-by":"crossref","unstructured":"Arias, M., Balc\u00e1zar, J.L.: Canonical Horn representations and query learning. In: Algorithmic Learning Theory (20th International Conference on Algorithmic Learning Theory, ALT 2009) [Lecture Notes in Computer Science 5809], pp 156\u2013170. Springer, Berlin (2009)","DOI":"10.1007\/978-3-642-04414-4_16"},{"key":"9516_CR4","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1002\/mana.19931630117","volume":"163","author":"H-J Bandelt","year":"1993","unstructured":"Bandelt, H.-J., Van de Vel, M., Verheul, E.: Modular interval space. Math. Nachrichten Ser. 163, 177\u2013201 (1993)","journal-title":"Math. Nachrichten Ser."},{"issue":"1-3","key":"9516_CR5","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1016\/0012-365X(93)90140-O","volume":"111","author":"J-P Barth\u00e9lemy","year":"1993","unstructured":"Barth\u00e9lemy, J.-P., Constantin, J.: Median graphs, parallelism and posets. Discret. Math. 111(1-3), 49\u201363 (1993)","journal-title":"Discret. Math."},{"issue":"3","key":"9516_CR6","doi-asserted-by":"publisher","first-page":"1445","DOI":"10.1090\/S0002-9947-09-04874-0","volume":"362","author":"J Berman","year":"2010","unstructured":"Berman, J., Idziak, P., Markovi\u0107, P., McKenzie, R., Valeriote, M., Willard, R.: Varieties with few subalgebras of powers. Trans. Amer. Math. Soc. 362(3), 1445\u20131473 (2010)","journal-title":"Trans. Amer. Math. Soc."},{"key":"9516_CR7","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4613-8130-3","volume-title":"A Course in Universal Algebra","author":"S Burris","year":"1981","unstructured":"Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, Berlin (1981)"},{"key":"9516_CR8","volume-title":"Submodular Functions and Optimization","author":"S Fujishige","year":"2005","unstructured":"Fujishige, S.: Submodular Functions and Optimization, 2nd edn. Elsevier B. V., Amsterdam (2005)","edition":"2nd edn."},{"key":"9516_CR9","doi-asserted-by":"crossref","unstructured":"Fujishige, S.: Theory of Principal Partitions Revisited. In: Cook, W.J., Lov\u00e1sz, L., Vygen, J. (eds.) Research Trends in Combinatorial Optimization, pp 127\u2013162. Springer, Berlin (2009)","DOI":"10.1007\/978-3-540-76796-1_7"},{"key":"9516_CR10","doi-asserted-by":"crossref","unstructured":"Garg, A., Gurvits, L., Oliveira, R., Wigderson, A.: Operator scaling: theory and applications. Foundations of Computational Mathematics (2019)","DOI":"10.1007\/s10208-019-09417-z"},{"key":"9516_CR11","first-page":"5","volume":"95","author":"JL Guigues","year":"1986","unstructured":"Guigues, J.L., Duquenne, V.: Familles minimales d\u2019implications informatives r\u00e9sultant d\u2019un tableau de donn\u00e9es binaires. Math. Sci. Hum. 95, 5\u201318 (1986)","journal-title":"Math. Sci. Hum."},{"key":"9516_CR12","unstructured":"Gusfield, D., Irving, R.W.: The Stable Marriage Problem: Structure and Algorithms, MIT Press, Cambridge (1989)"},{"key":"9516_CR13","unstructured":"Hamada, M., Hirai, H.: Maximum vanishing subspace problem, CAT(0)-space relaxation, and block-triangularization of partitioned matrix, arXiv:1705.02060 (2017)"},{"issue":"3","key":"9516_CR14","doi-asserted-by":"publisher","first-page":"365","DOI":"10.1007\/BF01221792","volume":"31","author":"C Herrmann","year":"1994","unstructured":"Herrmann, C., Pickering, D., Roddy, M.: A geometric description of modular lattices. Algebra Univ. 31(3), 365\u2013396 (1994)","journal-title":"Algebra Univ."},{"issue":"4","key":"9516_CR15","doi-asserted-by":"publisher","first-page":"379","DOI":"10.1142\/S0218196796000210","volume":"6","author":"C Herrmann","year":"1996","unstructured":"Herrmann, C., Wild, M.: A polynomial algorithm for testing congruence modularity. Int. J. Algebra Comput. 6(4), 379\u2013387 (1996)","journal-title":"Int. J. Algebra Comput."},{"key":"9516_CR16","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/s10107-014-0824-7","volume":"155","author":"H Hirai","year":"2016","unstructured":"Hirai, H.: Discrete convexity and polynomial solvability in minimum 0-extension problems. Math. Programm. Ser. A 155, 1\u201355 (2016)","journal-title":"Math. Programm. Ser. A"},{"key":"9516_CR17","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/j.laa.2018.02.008","volume":"547","author":"H Hirai","year":"2018","unstructured":"Hirai, H.: Computing DM-decomposition of a partitioned matrix with rank-1 blocks. Linear Algebra Appl. 547, 105\u2013123 (2018)","journal-title":"Linear Algebra Appl."},{"key":"9516_CR18","first-page":"71","volume":"61","author":"H Hirai","year":"2018","unstructured":"Hirai, H.: L-convexity on graph structures. J. Oper. Res. Soc. Jpn. 61, 71\u2013109 (2018)","journal-title":"J. Oper. Res. Soc. Jpn."},{"key":"9516_CR19","doi-asserted-by":"crossref","unstructured":"Hirai, H.: Discrete Convex Functions on Graphs and Their Algorithmic Applications. In: Fukunaga, T., Kawarabayashi, K. (eds.) Combinatorial Optimization and Graph Algorithms, Communications of NII Shonan Meetings, pp 67\u2013101. Springer Nature, Singapore (2017)","DOI":"10.1007\/978-981-10-6147-9_4"},{"key":"9516_CR20","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1007\/s10878-017-0142-0","volume":"36","author":"H Hirai","year":"2018","unstructured":"Hirai, H., Oki, T.: A compact representation for minimizers of k-submodular functions. J. Comb. Optim. 36, 709\u2013741 (2018)","journal-title":"J. Comb. Optim."},{"key":"9516_CR21","doi-asserted-by":"crossref","unstructured":"Huber, A., Kolmogorov, V.: Towards minimizing k-submodular functions. In: Proceedings of the 2nd International Symposium on Combinatorial Optimization (ISCO2012), [Lecture Notes in Computer Science 7422], pp 451\u2014462. Springer, Berlin (2012)","DOI":"10.1007\/978-3-642-32147-4_40"},{"issue":"4","key":"9516_CR22","doi-asserted-by":"publisher","first-page":"1226","DOI":"10.1137\/S0895479892235599","volume":"15","author":"H Ito","year":"1994","unstructured":"Ito, H., Iwata, S., Murota, K.: Block-triangularizations of partitioned matrices under similarity\/equivalence transformations. SIAM J. Matrix Anal. Appl. 15(4), 1226\u20131255 (1994)","journal-title":"SIAM J. Matrix Anal. Appl."},{"key":"9516_CR23","doi-asserted-by":"crossref","unstructured":"Iri, M.: Structural Theory for the Combinatorial Systems Characterized by Submodular Function. In: Pulleyblank, W.R. (ed.) Progress in Combinatorial Optimization, pp 197\u2013219. Academic Press, New York (1984)","DOI":"10.1016\/B978-0-12-566780-7.50018-0"},{"key":"9516_CR24","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1007\/s00037-018-0165-7","volume":"27","author":"G Ivanyos","year":"2018","unstructured":"Ivanyos, G., Qiao, Y., Subrahmanyam, K.V.: Constructive noncommutative rank computation in deterministic polynomial time over fields of arbitrary characteristics. Comput. Complex. 27, 561\u2013593 (2018)","journal-title":"Comput. Complex."},{"issue":"1","key":"9516_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1137\/130945648","volume":"44","author":"V Kolmogorov","year":"2015","unstructured":"Kolmogorov, V., Thapper, J., \u017divn\u00fd, S.: The power of linear programming for general-valued CSPs. SIAM J. Comput 44(1), 1\u201336 (2015)","journal-title":"SIAM J. Comput"},{"issue":"4","key":"9516_CR26","doi-asserted-by":"publisher","first-page":"664","DOI":"10.1145\/322217.322223","volume":"27","author":"D Maier","year":"1980","unstructured":"Maier, D.: Minimum covers in relational database model. J. Assoc. Comput. Mach. 27(4), 664\u2013674 (1980)","journal-title":"J. Assoc. Comput. Mach."},{"key":"9516_CR27","unstructured":"Maier, D.: The Theory of Relational Databases. Computer Science Press, USA (1983)"},{"key":"9516_CR28","volume-title":"Matrices and Matroids for Systems Analysis","author":"K Murota","year":"2000","unstructured":"Murota, K.: Matrices and Matroids for Systems Analysis. Springer, Berlin (2000)"},{"issue":"1","key":"9516_CR29","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1137\/0608011","volume":"8","author":"K Murota","year":"1987","unstructured":"Murota, K., Iri, M., Nakamura, M.: Combinatorial canonical form of layered mixed matrices and its application to block-triangularization of systems of linear\/nonlinear equations. SIAM J. Algebraic Discret. Methods 8(1), 123\u2013149 (1987)","journal-title":"SIAM J. Algebraic Discret. Methods"},{"key":"9516_CR30","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1016\/0304-3975(81)90112-2","volume":"13","author":"M Nielsen","year":"1981","unstructured":"Nielsen, M., Plotkin, G., Winskel, G.: Petri nets, event structures and domains, part I. Theor. Comput. Sci. 13, 85\u2013108 (1981)","journal-title":"Theor. Comput. Sci."},{"issue":"5","key":"9516_CR31","doi-asserted-by":"publisher","first-page":"801","DOI":"10.1090\/S0002-9939-1954-0064749-7","volume":"5","author":"M Sholander","year":"1954","unstructured":"Sholander, M.: Medians and betweenness. Proc. Amer. Math. Soc. 5(5), 801\u2013807 (1954)","journal-title":"Proc. Amer. Math. Soc."},{"key":"9516_CR32","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-20972-7","volume-title":"Foundations of Incidence Geometry","author":"J Ueberberg","year":"2011","unstructured":"Ueberberg, J.: Foundations of Incidence Geometry. Springer, Berlin (2011)"},{"issue":"1","key":"9516_CR33","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1006\/aima.1994.1069","volume":"108","author":"M Wild","year":"1994","unstructured":"Wild, M.: A theory of finite closure spaces based on implications. Adv. Math. 108(1), 118\u2013139 (1994)","journal-title":"Adv. Math."},{"issue":"2","key":"9516_CR34","doi-asserted-by":"publisher","first-page":"153","DOI":"10.2989\/16073600009485964","volume":"23","author":"M Wild","year":"2000","unstructured":"Wild, M.: Optimal implicational bases for finite modular lattices. Quaest. Math. 23(2), 153\u2013161 (2000)","journal-title":"Quaest. Math."},{"issue":"part B","key":"9516_CR35","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1016\/j.tcs.2016.03.018","volume":"658","author":"M Wild","year":"2017","unstructured":"Wild, M.: The joy of implications, aka pure H,orn formulas: Mainly a survey. Theor. Comput. Sci. 658(part B), 264\u2013292 (2017)","journal-title":"Theor. Comput. Sci."}],"container-title":["Order"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09516-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11083-019-09516-0\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11083-019-09516-0.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,10]],"date-time":"2021-09-10T00:00:37Z","timestamp":1631232037000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11083-019-09516-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,10]]},"references-count":35,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2020,10]]}},"alternative-id":["9516"],"URL":"https:\/\/doi.org\/10.1007\/s11083-019-09516-0","relation":{},"ISSN":["0167-8094","1572-9273"],"issn-type":[{"type":"print","value":"0167-8094"},{"type":"electronic","value":"1572-9273"}],"subject":[],"published":{"date-parts":[[2020,9,10]]},"assertion":[{"value":"27 July 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"18 November 2019","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"10 September 2020","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}