Towards more efficient methods for solving regular-expression heavy string constraints
Murphy Berzish, Joel D. Day, Vijay Ganesh, Mitja Kulczynski, Florín Manea, Federico Mora, Dirk Nowotka
Topics & Concepts
Regular expressionUndecidable problemString (physics)Computer scienceHeuristicsSubstringAlgorithmDecidabilityTheoretical computer scienceSatisfiabilityHeuristicMathematicsData structureArtificial intelligenceProgramming languageMathematical physicsOperating systemWeb Application Security VulnerabilitiesNatural Language Processing Techniquessemigroups and automata theory