String Analysis via Automata Manipulation with Logic Circuit Representation.

Hung-En Wang, Tzung-Lin Tsai, Chun-Han Lin, Fang Yu, Jie-Hong R. Jiang

Browse the full CAV paper archive.