Knowledge Compilation for Quantification in Alternating Automata.

S. Akshay, Alfredo Cantarella, Supratik Chakraborty, Bernd Finkbeiner, Niklas Metzger

Browse the full KR paper archive.