Word equations in synergy with regular constraints

F Blahoudek, YF Chen, D Chocholatý… - … Symposium on Formal …, 2023 - Springer
We argue that in string solving, word equations and regular constraints are better mixed
together than approached separately as in most current string solvers. We propose a fast …
被引用次数：9 相关文章

Word Equations in Synergy with Regular Constraints

F Blahoudek, YF Chen, D Chocholatý, V Havlena - Formal Methods LNCS 14000 - Springer
We argue that in string solving, word equations and regular constraints are better mixed
together than approached separately as in most current string solvers. We propose a fast …
[PDF] github.io

[PDF][PDF] Word Equations in Synergy with Regular Constraints

F Blahoudek, YF Chen, D Chocholatý, V Havlena… - ondrik.github.io
Word Equations in Synergy with Regular Constraints Page 1 Word Equations in Synergy with
Regular Constraints František Blahoudek1, Yu-Fang Chen2, David Chocholatý1, Vojtech …
[PDF] vutbr.cz

[PDF][PDF] Word Equations in Synergy with Regular Constraints

F Blahoudek, YF Chen, D Chocholatý, V Havlena… - fit.vutbr.cz
Decision procedure tightly integrating regular constraints with equations Gradually refines
regular constraints according to equations until: an infeasible constraint is generated or …
[PDF] github.io

[PDF][PDF] Word Equations in Synergy with Regular Constraints

F Blahoudek, YF Chen, D Chocholatý, V Havlena… - mosca2023.github.io
Decision procedure tightly integrating regular constraints with equations Gradually refines
regular constraints according to equations until: an infeasible constraint is generated or …

Word Equations in Synergy with Regular Constraints

F Blahoudek, YF Chen, D Chocholatý… - … Symposium on Formal …, 2023 - dl.acm.org
We argue that in string solving, word equations and regular constraints are better mixed
together than approached separately as in most current string solvers. We propose a fast …