Language Equation Solving via Boolean Automata Manipulation

Published in Proceedings of IEEE/ACM International Conference on Computer-Aided Design (ICCAD), 2022