Toggle Navigation
Beyond NP
Keeping up with solvers that reach beyond NP!
News
Solvers
Model Counters
Knowledge Compilers
Function Problem Solvers
QBF Solvers
Formats
Benchmarks
Tools
Submissions
About
Mission Statement
Steering Committee
Knowledge compilation powers Toyota and Lexus configuration
News
Solvers
Model Counters
Knowledge Compilers
Function Problem Solvers
QBF Solvers
Formats
Benchmarks
Tools
Submissions
About
Mission Statement
Steering Committee
Posted by:
arthur
1 year, 11 months ago
(
0 comments
)
Read more from
UCLA newsroom
.
Share on Twitter
Share on Facebook
← QBFEVAL'16 - Competitive Evaluation of QBF Solvers
IJCAI-18 Tutorial on Knowledge Compilation →