{"id":"https://openalex.org/W2598794460","doi":"https://doi.org/10.29007/jv63","title":"A Method to Simplify Expressions: Intuition and Preliminary Experimental Results","display_name":"A Method to Simplify Expressions: Intuition and Preliminary Experimental Results","publication_year":2018,"publication_date":"2018-01-23","ids":{"openalex":"https://openalex.org/W2598794460","doi":"https://doi.org/10.29007/jv63","mag":"2598794460"},"language":"en","primary_location":{"id":"doi:10.29007/jv63","is_oa":true,"landing_page_url":"https://doi.org/10.29007/jv63","pdf_url":"https://easychair.org/publications/open/m97","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://easychair.org/publications/open/m97","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5025418652","display_name":"Baudouin Le Charlier","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Baudouin Le Charlier","raw_affiliation_strings":["Universit catholique de Louvain, ICTEAM B-1348,","Universit\u00e9 catholique de Louvain, ICTEAM B-1348,"],"affiliations":[{"raw_affiliation_string":"Universit catholique de Louvain, ICTEAM B-1348,","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, ICTEAM B-1348,","institution_ids":["https://openalex.org/I95674353"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072889405","display_name":"M\u00eaton M\u00eaton Atindehou","orcid":null},"institutions":[{"id":"https://openalex.org/I95674353","display_name":"UCLouvain","ror":"https://ror.org/02495e989","country_code":"BE","type":"education","lineage":["https://openalex.org/I95674353"]}],"countries":["BE"],"is_corresponding":false,"raw_author_name":"M\u00eaton M\u00eaton Atindehou","raw_affiliation_strings":["Universit catholique de Louvain, ICTEAM B-1348,","Universit\u00e9 catholique de Louvain, ICTEAM B-1348,"],"affiliations":[{"raw_affiliation_string":"Universit catholique de Louvain, ICTEAM B-1348,","institution_ids":["https://openalex.org/I95674353"]},{"raw_affiliation_string":"Universit\u00e9 catholique de Louvain, ICTEAM B-1348,","institution_ids":["https://openalex.org/I95674353"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5025418652"],"corresponding_institution_ids":["https://openalex.org/I95674353"],"apc_list":null,"apc_paid":null,"fwci":0.3381,"has_fulltext":true,"cited_by_count":3,"citation_normalized_percentile":{"value":0.6656341,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"40","issue":null,"first_page":"37","last_page":"21"},"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.9988999962806702,"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.9988999962806702,"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.9987999796867371,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.9948999881744385,"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/axiom","display_name":"Axiom","score":0.6840740442276001},{"id":"https://openalex.org/keywords/expression","display_name":"Expression (computer science)","score":0.5499876141548157},{"id":"https://openalex.org/keywords/equivalence","display_name":"Equivalence (formal languages)","score":0.5455690026283264},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.5217755436897278},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.4573494791984558},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.4509342908859253},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4395260214805603},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.4293980598449707},{"id":"https://openalex.org/keywords/term","display_name":"Term (time)","score":0.4275309443473816},{"id":"https://openalex.org/keywords/boolean-expression","display_name":"Boolean expression","score":0.42055147886276245},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.32528379559516907},{"id":"https://openalex.org/keywords/boolean-function","display_name":"Boolean function","score":0.27256596088409424}],"concepts":[{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.6840740442276001},{"id":"https://openalex.org/C90559484","wikidata":"https://www.wikidata.org/wiki/Q778379","display_name":"Expression (computer science)","level":2,"score":0.5499876141548157},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.5455690026283264},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.5217755436897278},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.4573494791984558},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4509342908859253},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4395260214805603},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.4293980598449707},{"id":"https://openalex.org/C61797465","wikidata":"https://www.wikidata.org/wiki/Q1188986","display_name":"Term (time)","level":2,"score":0.4275309443473816},{"id":"https://openalex.org/C158465420","wikidata":"https://www.wikidata.org/wiki/Q1979515","display_name":"Boolean expression","level":3,"score":0.42055147886276245},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.32528379559516907},{"id":"https://openalex.org/C187455244","wikidata":"https://www.wikidata.org/wiki/Q942353","display_name":"Boolean function","level":2,"score":0.27256596088409424},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"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/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.29007/jv63","is_oa":true,"landing_page_url":"https://doi.org/10.29007/jv63","pdf_url":"https://easychair.org/publications/open/m97","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},{"id":"pmh:oai:dial.uclouvain.be:boreal:177144","is_oa":true,"landing_page_url":"http://hdl.handle.net/2078.1/177144","pdf_url":null,"source":{"id":"https://openalex.org/S4306401902","display_name":"Digital Access to Libraries (Universit\u00e9 catholique de Louvain (UCL), l'Universit\u00e9 de Namur (UNamur) and the Universit\u00e9 Saint-Louis (USL-B))","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I95674353","host_organization_name":"UCLouvain","host_organization_lineage":["https://openalex.org/I95674353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":{"id":"doi:10.29007/jv63","is_oa":true,"landing_page_url":"https://doi.org/10.29007/jv63","pdf_url":"https://easychair.org/publications/open/m97","source":{"id":"https://openalex.org/S4220651395","display_name":"EPiC series in computing","issn_l":"2398-7340","issn":["2398-7340"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"EPiC Series in Computing","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2598794460.pdf","grobid_xml":"https://content.openalex.org/works/W2598794460.grobid-xml"},"referenced_works_count":10,"referenced_works":["https://openalex.org/W1596865963","https://openalex.org/W1986022261","https://openalex.org/W2000346568","https://openalex.org/W2022132320","https://openalex.org/W2082448265","https://openalex.org/W2097414162","https://openalex.org/W2116502002","https://openalex.org/W2153131284","https://openalex.org/W2407524931","https://openalex.org/W2752061190"],"related_works":["https://openalex.org/W178365807","https://openalex.org/W1555836633","https://openalex.org/W4240676090","https://openalex.org/W2081441417","https://openalex.org/W1970375080","https://openalex.org/W4386544785","https://openalex.org/W16157476","https://openalex.org/W1522717445","https://openalex.org/W42295635","https://openalex.org/W2385944329"],"abstract_inverted_index":{"We":[0,78,120,157],"present":[1],"a":[2,11,57,71,81,89,128,136,153],"method":[3,26,36,123],"to":[4,38,64,67,74,84,151,164],"simplify":[5,152,165],"expressions":[6,101,126,167],"in":[7,107,149],"the":[8,25,35,47,68,114,118,122,146,160],"context":[9],"of":[10,34,44,56,92,95,117,131,145],"formal,":[12],"axiomatically":[13],"defined,":[14],"theory.":[15,119],"In":[16,98],"this":[17],"paper,":[18],"equality":[19],"axioms":[20,66],"are":[21],"typically":[22],"used":[23],"but":[24,172],"is":[27,37,162],"more":[28,170],"generally":[29],"applicable.":[30],"The":[31],"key":[32],"idea":[33],"represent":[39],"large,":[40],"even":[41],"infinite,":[42],"sets":[43,69],"expressions\\footnote{We":[45],"use":[46],"words":[48],"``term''":[49],"and":[50],"``expression''":[51],"as":[52,70],"synonymous.}":[53],"by":[54,110],"means":[55],"special":[58],"data":[59],"structure":[60],"that":[61,99,140,159],"allows":[62],"us":[63],"apply":[65],"whole,":[72],"not":[73],"single":[75],"individual":[76],"expressions.":[77],"then":[79],"propose":[80,135],"bottom-up":[82],"algorithm":[83,139,161],"finitely":[85],"compute":[86],"theories":[87],"with":[88,127,168],"finite":[90],"number":[91,130],"equivalence":[93],"classes":[94],"equal":[96],"terms.":[97],"case,":[100],"can":[102],"be":[103,175],"simplified":[104],"(i.e.,":[105],"minimized)":[106],"linear":[108],"time":[109],"``folding''":[111],"them":[112],"on":[113],"computed":[115],"representation":[116],"demonstrate":[121],"for":[124],"boolean":[125,166],"small":[129,143],"variables.":[132],"Finally,":[133],"we":[134],"``goal":[137],"oriented''":[138],"computes":[141],"only":[142],"parts":[144],"underlying":[147],"theory,":[148],"order":[150],"given":[154],"particular":[155],"expression.":[156],"show":[158],"able":[163],"many":[169],"variables":[171],"optimality":[173],"cannot":[174],"certified":[176],"anymore.":[177]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}