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
- Synthesis of domain specific CNF encoders for bit-vector solvers
- ASlib: a benchmark library for algorithm selection
- 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
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- Coupling different integer encodings for SAT
- Multi-language evaluation of exact solvers in graphical model discrete optimization
This page was built for software: Proteus
