Viewing posts by admin
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.
Beyond NP is an upcoming news and information aggregator for research on developing solvers that aim beyond NP. See our mission statement here.