{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,5]],"date-time":"2025-10-05T04:12:35Z","timestamp":1759637555331,"version":"3.37.3"},"reference-count":24,"publisher":"Society for Industrial & Applied Mathematics (SIAM)","issue":"1","funder":[{"name":"Thematic Excellence Program","award":["TKP-20-20-NKA-06"],"award-info":[{"award-number":["TKP-20-20-NKA-06"]}]},{"DOI":"10.13039\/501100001824","name":"Czech Science Foundation","doi-asserted-by":"crossref","award":["19-19463S"],"award-info":[{"award-number":["19-19463S"]}],"id":[{"id":"10.13039\/501100001824","id-type":"DOI","asserted-by":"crossref"}]},{"name":"Janos Bolyia Research Fellowship"},{"name":"Lendulet Programme of the Hungarian Academy of Science","award":["LP 2021-1\/2021"],"award-info":[{"award-number":["LP 2021-1\/2021"]}]},{"name":"national research development and innovation fund of Hungary","award":["NKFI-128673"],"award-info":[{"award-number":["NKFI-128673"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["SIAM J. Comput."],"published-print":{"date-parts":[[2022,2]]},"DOI":"10.1137\/19m1275681","type":"journal-article","created":{"date-parts":[[2022,2,14]],"date-time":"2022-02-14T14:38:45Z","timestamp":1644849525000},"page":"116-138","source":"Crossref","is-referenced-by-count":2,"title":["Approximating Minimum Representations of Key Horn Functions"],"prefix":"10.1137","volume":"51","author":[{"given":"Krist\u00f3f","family":"B\u00e9rczi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Endre","family":"Boros","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ond\u0159ej","family":"\u010cepek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7512-6260","authenticated-orcid":true,"given":"Petr","family":"Ku\u010dera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kazuhisa","family":"Makino","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"351","published-online":{"date-parts":[[2022,2,14]]},"reference":[{"key":"atypb1","doi-asserted-by":"publisher","DOI":"10.1137\/0201008"},{"key":"atypb2","doi-asserted-by":"publisher","DOI":"10.1137\/0215029"},{"key":"atypb3","first-page":"438","author":"Bhattacharya A.","year":"2010","journal-title":"Berlin"},{"key":"atypb4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1018932728409"},{"key":"atypb5","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-010-9197-7"},{"key":"atypb6","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2013.09.016"},{"key":"atypb7","doi-asserted-by":"publisher","DOI":"10.1007\/s10472-014-9415-9"},{"key":"atypb8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2010.06.011"},{"key":"atypb9","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-218X(02)00209-3"},{"key":"atypb10","first-page":"1396","volume":"14","author":"Chu Y.-J.","year":"1965","journal-title":"Sci. Sinica"},{"key":"atypb11","first-page":"151","author":"Cook S. A.","year":"1971","journal-title":"New York"},{"key":"atypb13","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(92)90009-M"},{"key":"atypb15","doi-asserted-by":"publisher","DOI":"10.1016\/0743-1066(84)90014-1"},{"key":"atypb17","doi-asserted-by":"publisher","DOI":"10.1137\/0210019"},{"key":"atypb18","first-page":"5","volume":"95","author":"Guigues J.-L.","year":"1986","journal-title":"Math. Sci. Humaines"},{"key":"atypb19","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(93)90062-G"},{"key":"atypb20","doi-asserted-by":"publisher","DOI":"10.1109\/69.469822"},{"key":"atypb21","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(95)00105-Z"},{"key":"atypb22","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.05.037"},{"key":"atypb23","doi-asserted-by":"publisher","DOI":"10.1145\/322217.322223"},{"key":"atypb25","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2016.05.036"},{"key":"atypb26","doi-asserted-by":"publisher","DOI":"10.1016\/0166-218X(84)90081-7"},{"key":"atypb29","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2001.1775"},{"key":"atypb30","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2005.855944"}],"container-title":["SIAM Journal on Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/epubs.siam.org\/doi\/pdf\/10.1137\/19M1275681","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,2,28]],"date-time":"2022-02-28T22:15:47Z","timestamp":1646086547000},"score":1,"resource":{"primary":{"URL":"https:\/\/epubs.siam.org\/doi\/10.1137\/19M1275681"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,2]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2022,2]]}},"alternative-id":["10.1137\/19M1275681"],"URL":"https:\/\/doi.org\/10.1137\/19m1275681","relation":{},"ISSN":["0097-5397","1095-7111"],"issn-type":[{"type":"print","value":"0097-5397"},{"type":"electronic","value":"1095-7111"}],"subject":[],"published":{"date-parts":[[2022,2]]}}}