Proteus
From MaRDI portal
Software:22049
swMATH10080MaRDI QIDQ22049FDOQ22049
Author name not available (Why is that?)
Cited In (11)
- Wombit: a portfolio bit-vector solver using word-level propagation
- Progress towards the Holy Grail
- Algorithm selection for dynamic symbolic execution: a preliminary study
- ASlib: a benchmark library for algorithm selection
- Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
- Portfolio theorem proving and prover runtime prediction for geometry
- The algorithm selection competitions 2015 and 2017
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Synthesis of Domain Specific CNF Encoders for Bit-Vector Solvers
- Coupling different integer encodings for SAT
- Multi-language evaluation of exact solvers in graphical model discrete optimization
This page was built for software: Proteus
