{"id":"https://openalex.org/W4387099109","doi":"https://doi.org/10.3390/a16100459","title":"Mathematical Foundation of a Functional Implementation of the CNF Algorithm","display_name":"Mathematical Foundation of a Functional Implementation of the CNF Algorithm","publication_year":2023,"publication_date":"2023-09-27","ids":{"openalex":"https://openalex.org/W4387099109","doi":"https://doi.org/10.3390/a16100459"},"language":"en","primary_location":{"id":"doi:10.3390/a16100459","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a16100459","pdf_url":"https://www.mdpi.com/1999-4893/16/10/459/pdf?version=1695809267","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://www.mdpi.com/1999-4893/16/10/459/pdf?version=1695809267","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5092953770","display_name":"Francisco Miguel Garc\u00eda-Olmedo","orcid":null},"institutions":[{"id":"https://openalex.org/I173304897","display_name":"Universidad de Granada","ror":"https://ror.org/04njjy449","country_code":"ES","type":"education","lineage":["https://openalex.org/I173304897"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Francisco Miguel Garc\u00eda-Olmedo","raw_affiliation_strings":["Departamento de \u00c1lgebra, Granada University, 18071 Granada, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de \u00c1lgebra, Granada University, 18071 Granada, Spain","institution_ids":["https://openalex.org/I173304897"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036624435","display_name":"Jes\u00fas Garc\u00eda-Miranda","orcid":null},"institutions":[{"id":"https://openalex.org/I173304897","display_name":"Universidad de Granada","ror":"https://ror.org/04njjy449","country_code":"ES","type":"education","lineage":["https://openalex.org/I173304897"]}],"countries":["ES"],"is_corresponding":false,"raw_author_name":"Jes\u00fas Garc\u00eda-Miranda","raw_affiliation_strings":["Departamento de \u00c1lgebra, Granada University, 18071 Granada, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de \u00c1lgebra, Granada University, 18071 Granada, Spain","institution_ids":["https://openalex.org/I173304897"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101419013","display_name":"P. Gonz\u00e1lez","orcid":"https://orcid.org/0000-0002-0567-3939"},"institutions":[{"id":"https://openalex.org/I173304897","display_name":"Universidad de Granada","ror":"https://ror.org/04njjy449","country_code":"ES","type":"education","lineage":["https://openalex.org/I173304897"]}],"countries":["ES"],"is_corresponding":true,"raw_author_name":"Pedro Gonz\u00e1lez-Rodelas","raw_affiliation_strings":["Departamento de Matem\u00e1tica Aplicada, Granada University, 18071 Granada, Spain"],"affiliations":[{"raw_affiliation_string":"Departamento de Matem\u00e1tica Aplicada, Granada University, 18071 Granada, Spain","institution_ids":["https://openalex.org/I173304897"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5092953770","https://openalex.org/A5101419013"],"corresponding_institution_ids":["https://openalex.org/I173304897"],"apc_list":{"value":1400,"currency":"CHF","value_usd":1515},"apc_paid":{"value":1400,"currency":"CHF","value_usd":1515},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.12636575,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"16","issue":"10","first_page":"459","last_page":"459"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9977999925613403,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9977999925613403,"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/T10142","display_name":"Formal Methods in Verification","score":0.9972000122070312,"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"}},{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.9890999794006348,"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/conjunction","display_name":"Conjunction (astronomy)","score":0.8090112209320068},{"id":"https://openalex.org/keywords/associative-property","display_name":"Associative property","score":0.6531324982643127},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6216232180595398},{"id":"https://openalex.org/keywords/loop","display_name":"Loop (graph theory)","score":0.5912091135978699},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.518629252910614},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.43790870904922485},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.43768805265426636},{"id":"https://openalex.org/keywords/distributivity","display_name":"Distributivity","score":0.43593132495880127},{"id":"https://openalex.org/keywords/implementation","display_name":"Implementation","score":0.42383643984794617},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3541359305381775},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.34668710827827454},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1929113268852234}],"concepts":[{"id":"https://openalex.org/C59656382","wikidata":"https://www.wikidata.org/wiki/Q191536","display_name":"Conjunction (astronomy)","level":2,"score":0.8090112209320068},{"id":"https://openalex.org/C159423971","wikidata":"https://www.wikidata.org/wiki/Q177251","display_name":"Associative property","level":2,"score":0.6531324982643127},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6216232180595398},{"id":"https://openalex.org/C184670325","wikidata":"https://www.wikidata.org/wiki/Q512604","display_name":"Loop (graph theory)","level":2,"score":0.5912091135978699},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.518629252910614},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.43790870904922485},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.43768805265426636},{"id":"https://openalex.org/C138390121","wikidata":"https://www.wikidata.org/wiki/Q5283219","display_name":"Distributivity","level":3,"score":0.43593132495880127},{"id":"https://openalex.org/C26713055","wikidata":"https://www.wikidata.org/wiki/Q245962","display_name":"Implementation","level":2,"score":0.42383643984794617},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3541359305381775},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.34668710827827454},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1929113268852234},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C114614502","wikidata":"https://www.wikidata.org/wiki/Q76592","display_name":"Combinatorics","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/C11821877","wikidata":"https://www.wikidata.org/wiki/Q187959","display_name":"Distributive property","level":2,"score":0.0},{"id":"https://openalex.org/C1276947","wikidata":"https://www.wikidata.org/wiki/Q333","display_name":"Astronomy","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.3390/a16100459","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a16100459","pdf_url":"https://www.mdpi.com/1999-4893/16/10/459/pdf?version=1695809267","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},{"id":"pmh:oai:digibug.ugr.es:10481/85637","is_oa":true,"landing_page_url":"https://hdl.handle.net/10481/85637","pdf_url":"https://digibug.ugr.es/bitstream/10481/85637/1/algorithms-16-00459.pdf","source":{"id":"https://openalex.org/S4306400567","display_name":"Institutional Repository of the University of Granada (University of Granada)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I173304897","host_organization_name":"Universidad de Granada","host_organization_lineage":["https://openalex.org/I173304897"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:doaj.org/article:479bf7bb25ab4dabae0d75d26b97eaf9","is_oa":true,"landing_page_url":"https://doaj.org/article/479bf7bb25ab4dabae0d75d26b97eaf9","pdf_url":null,"source":{"id":"https://openalex.org/S112646816","display_name":"SHILAP Revista de lepidopterolog\u00eda","issn_l":"0300-5267","issn":["0300-5267","2340-4078"],"is_oa":true,"is_in_doaj":true,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms, Vol 16, Iss 10, p 459 (2023)","raw_type":"article"},{"id":"pmh:oai:mdpi.com:/1999-4893/16/10/459/","is_oa":true,"landing_page_url":"https://dx.doi.org/10.3390/a16100459","pdf_url":null,"source":{"id":"https://openalex.org/S4306400947","display_name":"MDPI (MDPI AG)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210097602","host_organization_name":"Multidisciplinary Digital Publishing Institute (Switzerland)","host_organization_lineage":["https://openalex.org/I4210097602"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Algorithms","raw_type":"Text"}],"best_oa_location":{"id":"doi:10.3390/a16100459","is_oa":true,"landing_page_url":"https://doi.org/10.3390/a16100459","pdf_url":"https://www.mdpi.com/1999-4893/16/10/459/pdf?version=1695809267","source":{"id":"https://openalex.org/S190629608","display_name":"Algorithms","issn_l":"1999-4893","issn":["1999-4893"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310310987","host_organization_name":"Multidisciplinary Digital Publishing Institute","host_organization_lineage":["https://openalex.org/P4310310987"],"host_organization_lineage_names":["Multidisciplinary Digital Publishing Institute"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Algorithms","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4387099109.pdf","grobid_xml":"https://content.openalex.org/works/W4387099109.grobid-xml"},"referenced_works_count":2,"referenced_works":["https://openalex.org/W4206377209","https://openalex.org/W4239479692"],"related_works":["https://openalex.org/W1964111820","https://openalex.org/W1485630101","https://openalex.org/W2083338789","https://openalex.org/W2018362963","https://openalex.org/W880814422","https://openalex.org/W2602508510","https://openalex.org/W2007427830","https://openalex.org/W1501086624","https://openalex.org/W2112690207","https://openalex.org/W4387099109"],"abstract_inverted_index":{"The":[0],"conjunctive":[1],"normal":[2],"form":[3],"(CNF)":[4],"algorithm":[5],"is":[6,91],"one":[7],"of":[8,33,42,50,76,102,118],"the":[9,40,52,73,81,85,100,115,122],"best":[10],"known":[11],"and":[12,20,104],"most":[13],"widely":[14],"used":[15],"algorithms":[16],"in":[17,30,84],"classical":[18],"logic":[19],"its":[21,24],"applications.":[22],"In":[23,65],"algebraic":[25],"approach,":[26],"it":[27,90],"makes":[28],"use":[29],"a":[31,34,56],"loop":[32,53,77,96],"certain":[35],"well-defined":[36],"operation":[37],"related":[38],"to":[39,60,63,71,93,113],"\u201cdistributivity\u201d":[41],"logical":[43],"disjunction":[44],"versus":[45],"conjunction.":[46],"For":[47],"those":[48],"types":[49],"implementations,":[51],"iteration":[54],"runs":[55],"comparison":[57,124],"between":[58],"formulas":[59],"decide":[61],"when":[62],"stop.":[64],"this":[66],"article,":[67],"we":[68,110],"explain":[69,111],"how":[70,112],"pre-calculate":[72],"exact":[74],"number":[75,117],"iterations,":[78],"thus":[79],"avoiding":[80],"work":[82],"involved":[83],"above-mentioned":[86],"comparison.":[87],"After":[88],"that,":[89],"possible":[92],"concatenate":[94],"another":[95],"focused":[97],"now":[98],"on":[99],"\u201cassociativity\u201d":[101],"conjunction":[103],"disjunction.":[105],"Also":[106],"for":[107,126],"that":[108,121],"loop,":[109],"calculate":[114],"optimal":[116],"rounds,":[119],"so":[120],"decisional":[123],"phase":[125],"stopping":[127],"can":[128],"be":[129],"also":[130],"avoided.":[131]},"counts_by_year":[],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}