Qute in the QBF Evaluation 2018

Journal on Satisfiability, Boolean Modeling and Computation ◽

10.3233/sat190124 ◽

2019 ◽

Vol 11 (1) ◽

pp. 261-272

Author(s):

Tomáš Peitl ◽

Friedrich Slivovsky ◽

Stefan Szeider

Download Full-text