qestos
| Submitter: | Mikolas Janota | ||
| Description: | Devised by Mikolas Janota, is a prototype based on the ideas described in Bjørner, N., Janota, M., Klieber, W.: On conflicts and strategies in QBF. In: 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., EasyChair (2015) 28–41 The submitted version includes bloqqer as preprocessor. | ||
| Results: | |||