IJCAI-18 Tutorial on Knowledge Compilation

The tutorial on "Recent Advances in Knowledge Compilation" will be held during the 27th International Joint Conference on Artificial Intelligence and the 23rd European Conference on Artificial Intelligence (IJCAI-ECAI-18), in Stockholm, Sweden. Tutorials will be held on July 13-15, 2018, immediately prior to the technical conference. Tutorial attendance is complimentary for all IJCAI-ECAI-18 conference registrants.  See the tutorial page here.

Knowledge compilation powers Toyota and Lexus configuration

Read more from UCLA newsroom.

QBFEVAL'16 - Competitive Evaluation of QBF Solvers

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.

AAAI-16 Workshop on Beyond NP

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.

Symposium on New Frontiers in Knowledge Compilation

The Symposium on New Frontiers in Knowledge Compilation is being held in the Vienna University of Technology, Vienna, Austria, on June 4–6, 2015. See the symposium website here.

Welcome to Beyond NP!

Beyond NP is an upcoming news and information aggregator for research on developing solvers that aim beyond NP. See our mission statement here.