{"id":"https://openalex.org/W3122489126","doi":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_30","title":"Reductions for Strings and Regular Expressions Revisited","display_name":"Reductions for Strings and Regular Expressions Revisited","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3122489126","doi":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_30","mag":"3122489126"},"language":"en","primary_location":{"id":"pmh:doi:10.34727/2020/isbn.978-3-85448-042-6_30","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15526","pdf_url":"https://repositum.tuwien.at/bitstream/20.500.12708/15526/1/30_Reductions%20for%20Strings%20and%20Regular%20Expressions.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Inproceedings"},"type":"article","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://repositum.tuwien.at/bitstream/20.500.12708/15526/1/30_Reductions%20for%20Strings%20and%20Regular%20Expressions.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5083954589","display_name":"Andrew Reynolds","orcid":"https://orcid.org/0000-0002-3529-8682"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Reynolds, Andrew","raw_affiliation_strings":["the University of Iowa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"the University of Iowa","institution_ids":["https://openalex.org/I126307644"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5055297050","display_name":"Andres N\u00f6tzli","orcid":null},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"N\u00f6tzli, Andres","raw_affiliation_strings":["Stanford University ()"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University ()","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5026961968","display_name":"Clark Barrett","orcid":"https://orcid.org/0000-0002-9522-3084"},"institutions":[{"id":"https://openalex.org/I97018004","display_name":"Stanford University","ror":"https://ror.org/00f54p054","country_code":"US","type":"education","lineage":["https://openalex.org/I97018004"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Barrett, Clark","raw_affiliation_strings":["Stanford University ()"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Stanford University ()","institution_ids":["https://openalex.org/I97018004"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046830049","display_name":"Cesare Tinelli","orcid":"https://orcid.org/0000-0002-6726-775X"},"institutions":[{"id":"https://openalex.org/I126307644","display_name":"University of Iowa","ror":"https://ror.org/036jqmy94","country_code":"US","type":"education","lineage":["https://openalex.org/I126307644"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Tinelli, Cesare","raw_affiliation_strings":["the University of Iowa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"the University of Iowa","institution_ids":["https://openalex.org/I126307644"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.8393,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83444751,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T12479","display_name":"Web Application Security Vulnerabilities","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.9955000281333923,"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/T12034","display_name":"Digital and Cyber Forensics","score":0.9855999946594238,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/solver","display_name":"Solver","score":0.783930778503418},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.7002102136611938},{"id":"https://openalex.org/keywords/fragment","display_name":"Fragment (logic)","score":0.670242428779602},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6503206491470337},{"id":"https://openalex.org/keywords/regular-expression","display_name":"Regular expression","score":0.6180710792541504},{"id":"https://openalex.org/keywords/core","display_name":"Core (optical fiber)","score":0.5722069144248962},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4133307635784149},{"id":"https://openalex.org/keywords/satisfiability-modulo-theories","display_name":"Satisfiability modulo theories","score":0.4125780165195465},{"id":"https://openalex.org/keywords/mathematical-optimization","display_name":"Mathematical optimization","score":0.38797539472579956},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.30855435132980347},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.30829498171806335},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.15484344959259033}],"concepts":[{"id":"https://openalex.org/C2778770139","wikidata":"https://www.wikidata.org/wiki/Q1966904","display_name":"Solver","level":2,"score":0.783930778503418},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.7002102136611938},{"id":"https://openalex.org/C2776235265","wikidata":"https://www.wikidata.org/wiki/Q18392052","display_name":"Fragment (logic)","level":2,"score":0.670242428779602},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6503206491470337},{"id":"https://openalex.org/C121329065","wikidata":"https://www.wikidata.org/wiki/Q185612","display_name":"Regular expression","level":2,"score":0.6180710792541504},{"id":"https://openalex.org/C2164484","wikidata":"https://www.wikidata.org/wiki/Q5170150","display_name":"Core (optical fiber)","level":2,"score":0.5722069144248962},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4133307635784149},{"id":"https://openalex.org/C164155591","wikidata":"https://www.wikidata.org/wiki/Q2067766","display_name":"Satisfiability modulo theories","level":2,"score":0.4125780165195465},{"id":"https://openalex.org/C126255220","wikidata":"https://www.wikidata.org/wiki/Q141495","display_name":"Mathematical optimization","level":1,"score":0.38797539472579956},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.30855435132980347},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.30829498171806335},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.15484344959259033},{"id":"https://openalex.org/C76155785","wikidata":"https://www.wikidata.org/wiki/Q418","display_name":"Telecommunications","level":1,"score":0.0},{"id":"https://openalex.org/C37914503","wikidata":"https://www.wikidata.org/wiki/Q156495","display_name":"Mathematical physics","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:doi:10.34727/2020/isbn.978-3-85448-042-6_30","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15526","pdf_url":"https://repositum.tuwien.at/bitstream/20.500.12708/15526/1/30_Reductions%20for%20Strings%20and%20Regular%20Expressions.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Inproceedings"},{"id":"doi:10.34727/2020/isbn.978-3-85448-042-6_30","is_oa":true,"landing_page_url":"https://doi.org/10.34727/2020/isbn.978-3-85448-042-6_30","pdf_url":null,"source":{"id":"https://openalex.org/S4306400493","display_name":"reposiTUm (TU Wien)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145847075","host_organization_name":"TU Wien","host_organization_lineage":["https://openalex.org/I145847075"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Other"}],"best_oa_location":{"id":"pmh:doi:10.34727/2020/isbn.978-3-85448-042-6_30","is_oa":true,"landing_page_url":"http://hdl.handle.net/20.500.12708/15526","pdf_url":"https://repositum.tuwien.at/bitstream/20.500.12708/15526/1/30_Reductions%20for%20Strings%20and%20Regular%20Expressions.pdf","source":{"id":"https://openalex.org/S4406922384","display_name":"Open MIND","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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Inproceedings"},"sustainable_development_goals":[{"display_name":"Peace, Justice and strong institutions","score":0.6499999761581421,"id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3122489126.pdf","grobid_xml":"https://content.openalex.org/works/W3122489126.grobid-xml"},"referenced_works_count":25,"referenced_works":["https://openalex.org/W118031093","https://openalex.org/W254881558","https://openalex.org/W1481397690","https://openalex.org/W1565656617","https://openalex.org/W1582686279","https://openalex.org/W1599228120","https://openalex.org/W1602355087","https://openalex.org/W1952344271","https://openalex.org/W2017035494","https://openalex.org/W2023887108","https://openalex.org/W2044901139","https://openalex.org/W2094568767","https://openalex.org/W2096854577","https://openalex.org/W2098697136","https://openalex.org/W2117402063","https://openalex.org/W2505706330","https://openalex.org/W2626453174","https://openalex.org/W2736027423","https://openalex.org/W2767683523","https://openalex.org/W2883887424","https://openalex.org/W2899573209","https://openalex.org/W2908957302","https://openalex.org/W2959755401","https://openalex.org/W3033673652","https://openalex.org/W3042833479"],"related_works":["https://openalex.org/W2031232189","https://openalex.org/W72921509","https://openalex.org/W2757888546","https://openalex.org/W1972237262","https://openalex.org/W118485681","https://openalex.org/W1823736747","https://openalex.org/W2946550414","https://openalex.org/W2426441847","https://openalex.org/W2957921504","https://openalex.org/W1625314295","https://openalex.org/W1576796407","https://openalex.org/W3031184783","https://openalex.org/W41953994","https://openalex.org/W2294210202","https://openalex.org/W2023005099","https://openalex.org/W2624275032","https://openalex.org/W2039120330","https://openalex.org/W96961005","https://openalex.org/W1859168105","https://openalex.org/W2198314898"],"abstract_inverted_index":{"The":[0],"theory":[1,149],"of":[2,14,16,50,79,85,89,101,113,132,135,150],"strings":[3],"supported":[4],"by":[5,126],"solvers":[6,29,95],"in":[7,82,115,138],"formal":[8],"methods":[9],"contains":[10],"a":[11,18,34,39,73,98,140],"large":[12],"number":[13,49,112],"operators.Instead":[15],"implementing":[17],"semi-decision":[19,40],"procedure":[20,41],"that":[21,43,153],"reasons":[22],"about":[23],"all":[24],"the":[25,48,77,111,116,127,148,157],"operators":[26,32],"directly,":[27],"string":[28,70,86,94],"often":[30],"reduce":[31],"to":[33,55,59,69,96,124],"core":[35,128],"fragment":[36,100],"and":[37,52,72],"implement":[38],"over":[42,108],"fragment.These":[44],"reductions":[45,65,84,88],"considerably":[46],"increase":[47],"constraints":[51,71,92,103,118,121],"thus":[53],"have":[54],"be":[56],"done":[57],"carefully":[58],"achieve":[60],"good":[61],"performance.We":[62],"propose":[63],"novel":[64],"from":[66],"regular":[67,90,109],"expressions":[68],"framework":[74],"for":[75,147],"minimizing":[76],"introduction":[78],"new":[80],"variables":[81,114],"current":[83],"constraints.The":[87],"expression":[91],"enable":[93],"handle":[97],"significant":[99],"such":[102],"without":[104],"using":[105],"dedicated":[106],"reasoning":[107],"expressions.Minimizing":[110],"reduced":[117],"makes":[119],"those":[120],"significantly":[122,155],"cheaper":[123],"solve":[125],"solver.An":[129],"experimental":[130],"evaluation":[131],"our":[133],"implementation":[134],"both":[136],"techniques":[137],"CVC4,":[139],"state-of-the-art":[141],"SMT":[142],"solver":[143],"with":[144],"extensive":[145],"support":[146],"strings,":[151],"shows":[152],"they":[154],"improve":[156],"solver's":[158],"performance.":[159]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-07-15T18:14:33.161393","created_date":"2025-10-10T00:00:00"}