Proteus
From MaRDI portal
Cited in
(30)- Progress towards the Holy Grail
- NumberJack
- Dynamic branching in qualitative constraint-based reasoning via counting local models
- Algorithm selection for dynamic symbolic execution: a preliminary study
- Coupling different integer encodings for SAT
- Sugar
- GlueMiniSat
- CSP2SAT4J
- Azucar
- The algorithm selection competitions 2015 and 2017
- Wombit: a portfolio bit-vector solver using word-level propagation
- claspfolio 2
- Multi-language evaluation of exact solvers in graphical model discrete optimization
- Portfolio theorem proving and prover runtime prediction for geometry
- ASlib
- Synthesis of domain specific CNF encoders for bit-vector solvers
- ASlib: a benchmark library for algorithm selection
- OpenGM
- mplp2
- DAOOPT
- llama
- BIGNUM
- Jalangi
- aspeed
- meSAT
- sunny-cp
- SUNNY
- AutoFolio
- Wombit
- Why CP portfolio solvers are (under)utilized? Issues and challenges
This page was built for software: Proteus
