Keyword:QDimacs

Publications
A Grounder From Second-Order Logic To QBF Matthias van der Hallen and Gerda Janssens EasyChair Preprint 392