Word Equations in Synergy with Regular Constraints
František Blahoudek, Yu‐Fang Chen, David Chocholatý, Vojtěch Havlena, Lukáš Holík, Ondřej Lengál, Juraj Síč
Topics & Concepts
Computer scienceWord (group theory)String (physics)PruningLimitingSatisfiabilityAlgorithmTheoretical computer scienceMathematicsMechanical engineeringEngineeringAgronomyMathematical physicsGeometryBiologyWeb Application Security VulnerabilitiesSoftware Testing and Debugging TechniquesNatural Language Processing Techniques