About

BeyondNP.org will serve as a news and information aggregator for research on developing solvers that reach beyond NP, including a catalog of open-source solvers, repositories of corresponding benchmarks, and news on related academic activities.

See the full mission statement of BeyondNP.org and its steering committee.

BeyondNP.org is hosted by the Automated Reasoning Group at the University of California, Los Angeles.