{"id":"https://openalex.org/W4387656450","doi":"https://doi.org/10.1007/978-3-031-45784-5_11","title":"A Novel EGs-Based Framework for\u00a0Systematic Propositional-Formula Simplification","display_name":"A Novel EGs-Based Framework for\u00a0Systematic Propositional-Formula Simplification","publication_year":2023,"publication_date":"2023-01-01","ids":{"openalex":"https://openalex.org/W4387656450","doi":"https://doi.org/10.1007/978-3-031-45784-5_11"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-031-45784-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-45784-5_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/28644/1/paper_10.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5035856295","display_name":"Jordina Franc\u00e8s de Mas","orcid":null},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Jordina Franc\u00e8s de Mas","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, KY16 9SX, Scotland, UK","School of Computer Science, University of St Andrews, St Andrews, Scotland, UK"],"raw_orcid":"https://orcid.org/0009-0002-6608-4051","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, KY16 9SX, Scotland, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Scotland, UK","institution_ids":["https://openalex.org/I16835326"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5004629504","display_name":"Juliana Bowles","orcid":"https://orcid.org/0000-0002-5918-9114"},"institutions":[{"id":"https://openalex.org/I16835326","display_name":"University of St Andrews","ror":"https://ror.org/02wn5qz54","country_code":"GB","type":"education","lineage":["https://openalex.org/I16835326"]},{"id":"https://openalex.org/I4210126338","display_name":"Software Competence Center Hagenberg (Austria)","ror":"https://ror.org/02ks3nr96","country_code":"AT","type":"company","lineage":["https://openalex.org/I4210126338"]}],"countries":["AT","GB"],"is_corresponding":false,"raw_author_name":"Juliana Bowles","raw_affiliation_strings":["School of Computer Science, University of St Andrews, St Andrews, KY16 9SX, Scotland, UK","Software Competence Centre Hagenberg (SCCH), 4232, Hagenberg im M\u00fchlkreis, Austria","Software Competence Centre Hagenberg (SCCH), Hagenberg im M\u00fchlkreis, Austria","School of Computer Science, University of St Andrews, St Andrews, Scotland, UK"],"raw_orcid":"https://orcid.org/0000-0002-5918-9114","affiliations":[{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, KY16 9SX, Scotland, UK","institution_ids":["https://openalex.org/I16835326"]},{"raw_affiliation_string":"Software Competence Centre Hagenberg (SCCH), 4232, Hagenberg im M\u00fchlkreis, Austria","institution_ids":["https://openalex.org/I4210126338"]},{"raw_affiliation_string":"Software Competence Centre Hagenberg (SCCH), Hagenberg im M\u00fchlkreis, Austria","institution_ids":["https://openalex.org/I4210126338"]},{"raw_affiliation_string":"School of Computer Science, University of St Andrews, St Andrews, Scotland, UK","institution_ids":["https://openalex.org/I16835326"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5035856295"],"corresponding_institution_ids":["https://openalex.org/I16835326"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":null,"fwci":0.5202,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.6938913,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"169","last_page":"187"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9958999752998352,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9958999752998352,"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.9954000115394592,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9926999807357788,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.8001054525375366},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.6891331672668457},{"id":"https://openalex.org/keywords/propositional-variable","display_name":"Propositional variable","score":0.6461308002471924},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6446123123168945},{"id":"https://openalex.org/keywords/conjunctive-normal-form","display_name":"Conjunctive normal form","score":0.629654049873352},{"id":"https://openalex.org/keywords/satisfiability","display_name":"Satisfiability","score":0.5987219214439392},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5876431465148926},{"id":"https://openalex.org/keywords/true-quantified-boolean-formula","display_name":"True quantified Boolean formula","score":0.5311851501464844},{"id":"https://openalex.org/keywords/preprocessor","display_name":"Preprocessor","score":0.49842000007629395},{"id":"https://openalex.org/keywords/dpll-algorithm","display_name":"DPLL algorithm","score":0.4658753573894501},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.45545002818107605},{"id":"https://openalex.org/keywords/boolean-satisfiability-problem","display_name":"Boolean satisfiability problem","score":0.45492807030677795},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.43417778611183167},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4248626232147217},{"id":"https://openalex.org/keywords/rule-of-inference","display_name":"Rule of inference","score":0.41174086928367615},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.332455575466156},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2732309401035309},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.21779242157936096},{"id":"https://openalex.org/keywords/intermediate-logic","display_name":"Intermediate logic","score":0.1953044831752777},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.18972992897033691},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.1466469168663025}],"concepts":[{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.8001054525375366},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.6891331672668457},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.6461308002471924},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6446123123168945},{"id":"https://openalex.org/C16221470","wikidata":"https://www.wikidata.org/wiki/Q846564","display_name":"Conjunctive normal form","level":2,"score":0.629654049873352},{"id":"https://openalex.org/C168773769","wikidata":"https://www.wikidata.org/wiki/Q1350299","display_name":"Satisfiability","level":2,"score":0.5987219214439392},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5876431465148926},{"id":"https://openalex.org/C200415742","wikidata":"https://www.wikidata.org/wiki/Q1350285","display_name":"True quantified Boolean formula","level":2,"score":0.5311851501464844},{"id":"https://openalex.org/C34736171","wikidata":"https://www.wikidata.org/wiki/Q918333","display_name":"Preprocessor","level":2,"score":0.49842000007629395},{"id":"https://openalex.org/C143936061","wikidata":"https://www.wikidata.org/wiki/Q2030088","display_name":"DPLL algorithm","level":4,"score":0.4658753573894501},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.45545002818107605},{"id":"https://openalex.org/C6943359","wikidata":"https://www.wikidata.org/wiki/Q875276","display_name":"Boolean satisfiability problem","level":2,"score":0.45492807030677795},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43417778611183167},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4248626232147217},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.41174086928367615},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.332455575466156},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2732309401035309},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.21779242157936096},{"id":"https://openalex.org/C33203268","wikidata":"https://www.wikidata.org/wiki/Q5361594","display_name":"Intermediate logic","level":3,"score":0.1953044831752777},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.18972992897033691},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.1466469168663025},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C12707504","wikidata":"https://www.wikidata.org/wiki/Q52637","display_name":"Phase-locked loop","level":3,"score":0.0},{"id":"https://openalex.org/C134652429","wikidata":"https://www.wikidata.org/wiki/Q1052698","display_name":"Jitter","level":2,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-031-45784-5_11","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-031-45784-5_11","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/28644","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/28644","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/28644/1/paper_10.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"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":null,"raw_type":"Conference item"}],"best_oa_location":{"id":"pmh:oai:research-repository.st-andrews.ac.uk:10023/28644","is_oa":true,"landing_page_url":"https://hdl.handle.net/10023/28644","pdf_url":"https://research-repository.st-andrews.ac.uk/bitstream/10023/28644/1/paper_10.pdf","source":{"id":"https://openalex.org/S4306400230","display_name":"St Andrews Research Repository (St Andrews Research Repository)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I16835326","host_organization_name":"University of St Andrews","host_organization_lineage":["https://openalex.org/I16835326"],"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":null,"raw_type":"Conference item"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16","score":0.5099999904632568}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":true,"grobid_xml":false},"content_urls":{"pdf":"https://content.openalex.org/works/W4387656450.pdf"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W54305883","https://openalex.org/W593705620","https://openalex.org/W1480459634","https://openalex.org/W1513282478","https://openalex.org/W1518571861","https://openalex.org/W1521172087","https://openalex.org/W1564470442","https://openalex.org/W1585537805","https://openalex.org/W1973267383","https://openalex.org/W2018094844","https://openalex.org/W2031823362","https://openalex.org/W2047366356","https://openalex.org/W2061376823","https://openalex.org/W2118382442","https://openalex.org/W2126662120","https://openalex.org/W2142785340","https://openalex.org/W2741170138","https://openalex.org/W2913257024","https://openalex.org/W2956139423","https://openalex.org/W2989262635","https://openalex.org/W3128313128","https://openalex.org/W4248922942","https://openalex.org/W4281618541"],"related_works":["https://openalex.org/W2611506716","https://openalex.org/W1916519491","https://openalex.org/W1496518193","https://openalex.org/W2022840750","https://openalex.org/W2504339508","https://openalex.org/W2015099359","https://openalex.org/W170245869","https://openalex.org/W4387656450","https://openalex.org/W2951050752","https://openalex.org/W1887629677"],"abstract_inverted_index":null,"counts_by_year":[{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2023-10-16T00:00:00"}