Proteus
From MaRDI portal
Cited in
(30)- Dynamic branching in qualitative constraint-based reasoning via counting local models
- 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
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Portfolio theorem proving and prover runtime prediction for geometry
- NumberJack
- Azucar
- CSP2SAT4J
- GlueMiniSat
- Sugar
- claspfolio 2
- ASlib
- DAOOPT
- mplp2
- OpenGM
- llama
- BIGNUM
- Jalangi
- aspeed
- meSAT
- sunny-cp
- SUNNY
- AutoFolio
- Wombit
- Synthesis of domain specific CNF encoders for bit-vector solvers
- The algorithm selection competitions 2015 and 2017
- Wombit: a portfolio bit-vector solver using word-level propagation
- Coupling different integer encodings for SAT
This page was built for software: Proteus
