Viewing posts by arthur
QBFEVAL'16 will be the 2016 competitive evaluation of QBF solvers, and the eleventh evaluation of QBF solvers and instances ever. See the evaluation webpage, and the call for solvers and benchmarks, after the break.
The AAAI-16 Workshop on Beyond NP will be held in Phoenix, Arizona at the AAAI-16 Workshops on February 12-13, 2016. See the workshop page here. Submissions are due on October 23, 2015.