{"id":"https://openalex.org/W1999427653","doi":"https://doi.org/10.1007/s10472-010-9197-7","title":"A subclass of Horn CNFs optimally compressible in polynomial time","display_name":"A subclass of Horn CNFs optimally compressible in polynomial time","publication_year":2009,"publication_date":"2009-12-01","ids":{"openalex":"https://openalex.org/W1999427653","doi":"https://doi.org/10.1007/s10472-010-9197-7","mag":"1999427653"},"language":"en","primary_location":{"id":"doi:10.1007/s10472-010-9197-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-010-9197-7","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5057621825","display_name":"Endre Boros","orcid":"https://orcid.org/0000-0001-8206-3168"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Endre Boros","raw_affiliation_strings":["RUTCOR, Rutgers University, P. O. Box 5062, New Brunswick, NJ, 08903, USA","RUTCOR, Rutgers University, New Brunswick, USA 08903#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"RUTCOR, Rutgers University, P. O. Box 5062, New Brunswick, NJ, 08903, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"RUTCOR, Rutgers University, New Brunswick, USA 08903#TAB#","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059158185","display_name":"Ond\u0159ej \u010cepek","orcid":"https://orcid.org/0000-0002-6325-0897"},"institutions":[{"id":"https://openalex.org/I105410415","display_name":"University of Finance and Administration","ror":"https://ror.org/020ydms54","country_code":"CZ","type":"education","lineage":["https://openalex.org/I105410415"]},{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":true,"raw_author_name":"Ond\u0159ej \u010cepek","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","Institute of Finance and Administration\u2014V\u0160FS, Estonsk\u00e1 500, 100 00, Praha 10, Czech Republic","Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic 118 00 and Institute of Finance and Administration--V\u0161FS, Praha 10, Czech Republ "],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Institute of Finance and Administration\u2014V\u0160FS, Estonsk\u00e1 500, 100 00, Praha 10, Czech Republic","institution_ids":["https://openalex.org/I105410415"]},{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic 118 00 and Institute of Finance and Administration--V\u0161FS, Praha 10, Czech Republ ","institution_ids":["https://openalex.org/I105410415"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5047969246","display_name":"Alexander Kogan","orcid":"https://orcid.org/0000-0001-9672-3876"},"institutions":[{"id":"https://openalex.org/I102322142","display_name":"Rutgers, The State University of New Jersey","ror":"https://ror.org/05vt9qd57","country_code":"US","type":"education","lineage":["https://openalex.org/I102322142"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Alexander Kogan","raw_affiliation_strings":["Department of Accounting and Information Systems, Rutgers Business School, Rutgers University, Newark, NJ, 07102, USA","RUTCOR, Rutgers University, P. O. Box 5062, New Brunswick, NJ, 08903, USA","RUTCOR, Rutgers University, New Brunswick, USA 08903 and Department of Accounting and Information Systems, Rutgers Business School, Rutgers University, Newark, USA 07102"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Accounting and Information Systems, Rutgers Business School, Rutgers University, Newark, NJ, 07102, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"RUTCOR, Rutgers University, P. O. Box 5062, New Brunswick, NJ, 08903, USA","institution_ids":["https://openalex.org/I102322142"]},{"raw_affiliation_string":"RUTCOR, Rutgers University, New Brunswick, USA 08903 and Department of Accounting and Information Systems, Rutgers Business School, Rutgers University, Newark, USA 07102","institution_ids":["https://openalex.org/I102322142"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5025998441","display_name":"Petr Ku\u010dera","orcid":"https://orcid.org/0000-0002-7512-6260"},"institutions":[{"id":"https://openalex.org/I21250087","display_name":"Charles University","ror":"https://ror.org/024d6js02","country_code":"CZ","type":"education","lineage":["https://openalex.org/I21250087"]}],"countries":["CZ"],"is_corresponding":false,"raw_author_name":"Petr Ku\u010dera","raw_affiliation_strings":["Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic 118 00"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Malostransk\u00e9 n\u00e1m. 25, 118 00, Praha 1, Czech Republic","institution_ids":["https://openalex.org/I21250087"]},{"raw_affiliation_string":"Department of Theoretical Computer Science and Mathematical Logic, Charles University, Praha 1, Czech Republic 118 00","institution_ids":["https://openalex.org/I21250087"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5059158185"],"corresponding_institution_ids":["https://openalex.org/I105410415","https://openalex.org/I21250087"],"apc_list":{"value":2390,"currency":"EUR","value_usd":2990},"apc_paid":null,"fwci":1.359,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.84218219,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"57","issue":"3-4","first_page":"249","last_page":"291"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12072","display_name":"Machine Learning and Algorithms","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955000281333923,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11063","display_name":"Rough Sets and Fuzzy Logic","score":0.9921000003814697,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/french-horn","display_name":"French horn","score":0.8271732330322266},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.6028214693069458},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.5732237696647644},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.5476738810539246},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.5284590125083923},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.4989778995513916},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4758586287498474},{"id":"https://openalex.org/keywords/polynomial","display_name":"Polynomial","score":0.46608370542526245},{"id":"https://openalex.org/keywords/combinatorics","display_name":"Combinatorics","score":0.4519505202770233},{"id":"https://openalex.org/keywords/minification","display_name":"Minification","score":0.412034273147583},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.2368336021900177},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.21418744325637817},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.16966512799263},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08940666913986206}],"concepts":[{"id":"https://openalex.org/C152076505","wikidata":"https://www.wikidata.org/wiki/Q1126540","display_name":"French horn","level":2,"score":0.8271732330322266},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.6028214693069458},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.5732237696647644},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.5476738810539246},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.5284590125083923},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.4989778995513916},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4758586287498474},{"id":"https://openalex.org/C90119067","wikidata":"https://www.wikidata.org/wiki/Q43260","display_name":"Polynomial","level":2,"score":0.46608370542526245},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","level":1,"score":0.4519505202770233},{"id":"https://openalex.org/C147764199","wikidata":"https://www.wikidata.org/wiki/Q6865248","display_name":"Minification","level":2,"score":0.412034273147583},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.2368336021900177},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.21418744325637817},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.16966512799263},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08940666913986206},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C19417346","wikidata":"https://www.wikidata.org/wiki/Q7922","display_name":"Pedagogy","level":1,"score":0.0},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/s10472-010-9197-7","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s10472-010-9197-7","pdf_url":null,"source":{"id":"https://openalex.org/S90199469","display_name":"Annals of Mathematics and Artificial Intelligence","issn_l":"1012-2443","issn":["1012-2443","1573-7470"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Annals of Mathematics and Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:alma.01RUT_INST:11665161850004646","is_oa":false,"landing_page_url":"https://scholarship.libraries.rutgers.edu/esploro/outputs/journalArticle/A-subclass-of-Horn-CNFs-optimally/991031665950804646","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W145128706","https://openalex.org/W166152571","https://openalex.org/W1540422960","https://openalex.org/W1556415569","https://openalex.org/W1570891932","https://openalex.org/W1589170163","https://openalex.org/W1990216234","https://openalex.org/W1993449345","https://openalex.org/W2011039300","https://openalex.org/W2011992362","https://openalex.org/W2012170877","https://openalex.org/W2012644520","https://openalex.org/W2021929022","https://openalex.org/W2024768126","https://openalex.org/W2035284422","https://openalex.org/W2038897673","https://openalex.org/W2056277969","https://openalex.org/W2061936891","https://openalex.org/W2074023317","https://openalex.org/W2078663304","https://openalex.org/W2079107830","https://openalex.org/W2104025390","https://openalex.org/W2105197197","https://openalex.org/W2108552370","https://openalex.org/W2118382442","https://openalex.org/W2329329248","https://openalex.org/W2335478831","https://openalex.org/W3099451540","https://openalex.org/W4234462414","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2372612917","https://openalex.org/W1991403408","https://openalex.org/W1521840795","https://openalex.org/W2404351495","https://openalex.org/W2600034178","https://openalex.org/W328089188","https://openalex.org/W2542670467","https://openalex.org/W1808107509","https://openalex.org/W2064560955","https://openalex.org/W1599544148"],"abstract_inverted_index":null,"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":4},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":3}],"updated_date":"2026-06-19T15:47:20.252518","created_date":"2025-10-10T00:00:00"}