Generalization of Z3-Noodler's stabilization method to transducers enables efficient solving of relational string constraints and outperforms prior solvers by solving more instances orders of magnitude faster.
In: Stewart, D., Weissenbacher, G
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.FL 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
IdMAT and LIndA enable learning any regular language consistent with an incomplete inductive teacher by reducing uncertainties to incremental SAT solving for tasks like language separation and invariant synthesis.
citing papers explorer
-
String Solving with Stabilization and Transducers (Technical Report)
Generalization of Z3-Noodler's stabilization method to transducers enables efficient solving of relational string constraints and outperforms prior solvers by solving more instances orders of magnitude faster.
-
Automata Learning with an Incomplete but Inductive Teacher (Technical Report)
IdMAT and LIndA enable learning any regular language consistent with an incomplete inductive teacher by reducing uncertainties to incremental SAT solving for tasks like language separation and invariant synthesis.