Proteus
From MaRDI portal
swMATH10080MaRDI QIDQ22049FDOQ22049
Author name not available (Why is that?)
Official website: http://link.springer.com/chapter/10.1007%2F978-3-319-07046-9_22
Cited In (30)
- 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
- NumberJack
- Azucar
- CSP2SAT4J
- GlueMiniSat
- Sugar
- claspfolio 2
- ASlib
- DAOOPT
- mplp2
- OpenGM
- llama
- BIGNUM
- Jalangi
- aspeed
- meSAT
- sunny-cp
- SUNNY
- Coupling different integer encodings for SAT
- AutoFolio
- Wombit
- Multi-language evaluation of exact solvers in graphical model discrete optimization
This page was built for software: Proteus
