Language Equation Solving via Boolean Automata Manipulation [Best paper nomination]

Published in International Workshop on Logic & Synthesis (IWLS), 2022