1 paper
S. Akshay, Alfredo Cantarella, Supratik Chakraborty +2
We present a knowledge compilation approach for existential and universal quantification in alternating automata. Knowledge compilation transforms formulas into normal forms with s…