1 citations · 2 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 1 cited
Z3-Noodler: An Automata-based String Solver (Technical Report)
Yu-Fang Chen, David Chocholatý, Vojtěch Havlena +3
Z3-Noodler is a fork of Z3 that replaces its string theory solver with a custom solver implementing the recently introduced stabilization-based algorithm for solving word equations…
cs.LO2023
A Symbolic Algorithm for the Case-Split Rule in Solving Word Constraints with Extensions (Technical Report)
Yu-Fang Chen, Vojtěch Havlena, Ondřej Lengál +1
Case split is a core proof rule in current decision procedures for the theory of string constraints. Its use is the primary cause of the state space explosion in string constraint…
cs.FL2016★ 1 cited
A Novel Learning Algorithm for Büchi Automata based on Family of DFAs and Classification Trees
Yong Li, Yu-Fang Chen, Lijun Zhang +1
In this paper, we propose a novel algorithm to learn a Büchi automaton from a teacher who knows an -regular language. The algorithm is based on learning a formalism named family…