Nikolaj Bjørner, Mikolás Janota. Playing with Quantified Satisfaction. In Ansgar Fehnker, Annabelle McIver, Geoff Sutcliffe, Andrei Voronkov, editors, 20th International Conferences on Logic for Programming, Artificial Intelligence and Reasoning - Short Presentations, LPAR 2015, Suva, Fiji, November 24-28, 2015. Volume 35 of EPiC Series in Computing, pages 15-27, EasyChair, 2015. [doi]
Abstract is missing.