{"id":"https://openalex.org/W2192694265","doi":"https://doi.org/10.1007/s00165-016-0412-0","title":"Fault trees on a diet: automated reduction by graph rewriting","display_name":"Fault trees on a diet: automated reduction by graph rewriting","publication_year":2017,"publication_date":"2017-01-20","ids":{"openalex":"https://openalex.org/W2192694265","doi":"https://doi.org/10.1007/s00165-016-0412-0","mag":"2192694265"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-016-0412-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0412-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/be39c829-807d-41b5-86af-68fc1488a19b","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018941708","display_name":"Sebastian Junges","orcid":"https://orcid.org/0000-0003-0978-8466"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Sebastian Junges","raw_affiliation_strings":["Software Modeling and Verification, RWTH Aachen University, Aachen, Germany"],"raw_orcid":"https://orcid.org/0000-0003-0978-8466","affiliations":[{"raw_affiliation_string":"Software Modeling and Verification, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5066736648","display_name":"Dennis Guck","orcid":null},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Dennis Guck","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5090819329","display_name":"Joost-Pieter Katoen","orcid":"https://orcid.org/0000-0002-6143-1926"},"institutions":[{"id":"https://openalex.org/I887968799","display_name":"RWTH Aachen University","ror":"https://ror.org/04xfq0f34","country_code":"DE","type":"education","lineage":["https://openalex.org/I887968799"]},{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["DE","NL"],"is_corresponding":false,"raw_author_name":"Joost-Pieter Katoen","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands","Software Modeling and Verification, RWTH Aachen University, Aachen, Germany","Software Modeling and Verification, RWTH Aachen University, Aachen, Germany Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]},{"raw_affiliation_string":"Software Modeling and Verification, RWTH Aachen University, Aachen, Germany","institution_ids":["https://openalex.org/I887968799"]},{"raw_affiliation_string":"Software Modeling and Verification, RWTH Aachen University, Aachen, Germany Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I887968799","https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045219123","display_name":"Arend Rensink","orcid":"https://orcid.org/0000-0002-1714-6319"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Arend Rensink","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5053065289","display_name":"Mari\u00eblle Stoelinga","orcid":"https://orcid.org/0000-0001-6793-8165"},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Mari\u00eblle Stoelinga","raw_affiliation_strings":["Formal Methods and Tools, University of Twente, Enschede, The Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Formal Methods and Tools, University of Twente, Enschede, The Netherlands","institution_ids":["https://openalex.org/I94624287"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":5,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.5371,"has_fulltext":true,"cited_by_count":22,"citation_normalized_percentile":{"value":0.92803331,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":98},"biblio":{"volume":"29","issue":"4","first_page":"651","last_page":"703"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T12423","display_name":"Software Reliability and Analysis Research","score":0.9994000196456909,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/T11357","display_name":"Risk and Safety Analysis","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1804","display_name":"Statistics, Probability and Uncertainty"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T13295","display_name":"Safety Systems Engineering in Autonomy","score":0.9966999888420105,"subfield":{"id":"https://openalex.org/subfields/2213","display_name":"Safety, Risk, Reliability and Quality"},"field":{"id":"https://openalex.org/fields/22","display_name":"Engineering"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.7344568967819214},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7114300727844238},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.6851770877838135},{"id":"https://openalex.org/keywords/exploit","display_name":"Exploit","score":0.6512721180915833},{"id":"https://openalex.org/keywords/scalability","display_name":"Scalability","score":0.6268929243087769},{"id":"https://openalex.org/keywords/graph-rewriting","display_name":"Graph rewriting","score":0.5743588805198669},{"id":"https://openalex.org/keywords/graph-reduction","display_name":"Graph reduction","score":0.5636097192764282},{"id":"https://openalex.org/keywords/theory-of-computation","display_name":"Theory of computation","score":0.5423098802566528},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4705291986465454},{"id":"https://openalex.org/keywords/fault-tree-analysis","display_name":"Fault tree analysis","score":0.4701295793056488},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.465432345867157},{"id":"https://openalex.org/keywords/graph","display_name":"Graph","score":0.4507942795753479},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.43914854526519775},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.313727468252182},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25150156021118164},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.2304394543170929},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.18112558126449585},{"id":"https://openalex.org/keywords/reliability-engineering","display_name":"Reliability engineering","score":0.12935566902160645},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.08536514639854431},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.08139118552207947}],"concepts":[{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.7344568967819214},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7114300727844238},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6851770877838135},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.6512721180915833},{"id":"https://openalex.org/C48044578","wikidata":"https://www.wikidata.org/wiki/Q727490","display_name":"Scalability","level":2,"score":0.6268929243087769},{"id":"https://openalex.org/C558772884","wikidata":"https://www.wikidata.org/wiki/Q1508564","display_name":"Graph rewriting","level":3,"score":0.5743588805198669},{"id":"https://openalex.org/C97042676","wikidata":"https://www.wikidata.org/wiki/Q5597097","display_name":"Graph reduction","level":3,"score":0.5636097192764282},{"id":"https://openalex.org/C24858836","wikidata":"https://www.wikidata.org/wiki/Q844718","display_name":"Theory of computation","level":2,"score":0.5423098802566528},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4705291986465454},{"id":"https://openalex.org/C107094494","wikidata":"https://www.wikidata.org/wiki/Q428453","display_name":"Fault tree analysis","level":2,"score":0.4701295793056488},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.465432345867157},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.4507942795753479},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.43914854526519775},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.313727468252182},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25150156021118164},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.2304394543170929},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.18112558126449585},{"id":"https://openalex.org/C200601418","wikidata":"https://www.wikidata.org/wiki/Q2193887","display_name":"Reliability engineering","level":1,"score":0.12935566902160645},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.08536514639854431},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.08139118552207947},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1007/s00165-016-0412-0","is_oa":false,"landing_page_url":"https://doi.org/10.1007/s00165-016-0412-0","pdf_url":null,"source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"Formal Aspects of Computing","raw_type":"journal-article"},{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/be39c829-807d-41b5-86af-68fc1488a19b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/be39c829-807d-41b5-86af-68fc1488a19b","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Junges, S, Guck, D, Katoen, J P, Rensink, A & Stoelinga, M 2017, 'Fault trees on a diet : automated reduction by graph rewriting', Formal aspects of computing, vol. 29, no. 4, pp. 651-703. https://doi.org/10.1007/s00165-016-0412-0","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:publications.rwth-aachen.de:696190","is_oa":false,"landing_page_url":"https://publications.rwth-aachen.de/search?p=id:%22RWTH-2017-06687%22","pdf_url":null,"source":{"id":"https://openalex.org/S4306401033","display_name":"RWTH Publications (RWTH Aachen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I887968799","host_organization_name":"RWTH Aachen University","host_organization_lineage":["https://openalex.org/I887968799"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Formal aspects of computing 29(4), 651-703 (2017). doi:10.1007/s00165-016-0412-0","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:ris.utwente.nl:publications/a26d669b-7e40-475f-a4de-83ebdb4d8a54","is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/a26d669b-7e40-475f-a4de-83ebdb4d8a54","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:oai:ris.utwente.nl:publications/be39c829-807d-41b5-86af-68fc1488a19b","is_oa":false,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""},{"id":"pmh:ut:oai:ris.utwente.nl:publications/7de4bbfa-1f22-44ba-8114-26a32c9dffac","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/fault-trees-on-a-diet-automated-reduction-by-graph-rewriting(7de4bbfa-1f22-44ba-8114-26a32c9dffac).html","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"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":"Formal aspects of computing, online pre-publication, 1 - 53","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/be39c829-807d-41b5-86af-68fc1488a19b","is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/be39c829-807d-41b5-86af-68fc1488a19b","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Junges, S, Guck, D, Katoen, J P, Rensink, A & Stoelinga, M 2017, 'Fault trees on a diet : automated reduction by graph rewriting', Formal aspects of computing, vol. 29, no. 4, pp. 651-703. https://doi.org/10.1007/s00165-016-0412-0","raw_type":"info:eu-repo/semantics/publishedVersion"},"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","score":0.49000000953674316,"id":"https://metadata.un.org/sdg/9"}],"awards":[{"id":"https://openalex.org/G395346111","display_name":null,"funder_award_id":"12238","funder_id":"https://openalex.org/F4320326145","funder_display_name":"ProRail"}],"funders":[{"id":"https://openalex.org/F4320321800","display_name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","ror":"https://ror.org/04jsz6e67"},{"id":"https://openalex.org/F4320326145","display_name":"ProRail","ror":null}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W186920959","https://openalex.org/W204235972","https://openalex.org/W1497529538","https://openalex.org/W1502128903","https://openalex.org/W1516256348","https://openalex.org/W1516455464","https://openalex.org/W1548876510","https://openalex.org/W1548957673","https://openalex.org/W1574796876","https://openalex.org/W1593351982","https://openalex.org/W1597655219","https://openalex.org/W1970528338","https://openalex.org/W1976102130","https://openalex.org/W1978660636","https://openalex.org/W2003109266","https://openalex.org/W2009942763","https://openalex.org/W2035216564","https://openalex.org/W2056350605","https://openalex.org/W2070874614","https://openalex.org/W2071868088","https://openalex.org/W2076840958","https://openalex.org/W2083969028","https://openalex.org/W2096283629","https://openalex.org/W2108360933","https://openalex.org/W2110411539","https://openalex.org/W2115244834","https://openalex.org/W2118850201","https://openalex.org/W2120157453","https://openalex.org/W2121337044","https://openalex.org/W2125250212","https://openalex.org/W2129588774","https://openalex.org/W2135209232","https://openalex.org/W2139969801","https://openalex.org/W2141881497","https://openalex.org/W2154602821","https://openalex.org/W2154884120","https://openalex.org/W2157901438","https://openalex.org/W2164351502","https://openalex.org/W2170015536","https://openalex.org/W2170449522","https://openalex.org/W2172279531","https://openalex.org/W2294571247","https://openalex.org/W2410243683","https://openalex.org/W2528343907","https://openalex.org/W2536118580","https://openalex.org/W2611793981","https://openalex.org/W2810491896","https://openalex.org/W2912818154","https://openalex.org/W3022794709","https://openalex.org/W3099417312","https://openalex.org/W3118517595"],"related_works":["https://openalex.org/W4377938775","https://openalex.org/W3175766486","https://openalex.org/W1501947878","https://openalex.org/W2612055453","https://openalex.org/W3005997194","https://openalex.org/W1553079342","https://openalex.org/W2006970999","https://openalex.org/W1541376699","https://openalex.org/W1523116568","https://openalex.org/W2542922519"],"abstract_inverted_index":{"Abstract":[0],"Fault":[1],"trees":[2,30],"are":[3],"a":[4,47,74,84,95],"popular":[5],"industrial":[6,42],"technique":[7,52],"for":[8,53],"reliability":[9,17],"modelling":[10],"and":[11,25,65,82,108],"analysis.":[12],"Their":[13],"extension":[14],"with":[15],"common":[16],"patterns,":[18],"such":[19],"as":[20,27,62],"spare":[21],"management,":[22],"functional":[23],"dependencies,":[24],"sequencing\u2014known":[26],"dynamic":[28],"fault":[29],"(DFTs)\u2014has":[31],"an":[32],"adverse":[33],"effect":[34],"on":[35,94],"scalability,":[36],"prohibiting":[37],"the":[38,89],"analysis":[39],"of":[40,76,91,98,111,116],"complex,":[41],"cases.":[43],"This":[44],"paper":[45],"presents":[46],"novel,":[48],"fully":[49],"automated":[50],"reduction":[51],"DFTs.":[54],"The":[55],"key":[56],"idea":[57],"is":[58],"to":[59,69,87,113],"interpret":[60],"DFTs":[61],"directed":[63],"graphs":[64],"exploit":[66],"graph":[67],"rewriting":[68],"simplify":[70],"them.":[71],"We":[72],"present":[73],"collection":[75],"rewrite":[77],"rules,":[78],"address":[79],"their":[80],"correctness,":[81],"give":[83],"simple":[85],"heuristic":[86],"determine":[88],"order":[90],"rewriting.":[92],"Experiments":[93],"large":[96],"set":[97],"benchmarks":[99],"show":[100],"substantial":[101],"DFT":[102],"simplifications,":[103],"yielding":[104],"state":[105],"space":[106],"reductions":[107],"timing":[109],"gains":[110],"up":[112],"two":[114],"orders":[115],"magnitude.":[117]},"counts_by_year":[{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2019,"cited_by_count":5},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":4},{"year":2016,"cited_by_count":5}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2016-06-24T00:00:00"}