Language Equation Solving via Boolean Automata Manipulation.

Wan-Hsuan Lin, Chia-Hsuan Su, Jie-Hong R. Jiang

Browse the full ICCAD paper archive.