Cited in
(15)- Wombit: a portfolio bit-vector solver using word-level propagation
- Portfolio theorem proving and prover runtime prediction for geometry
- Azucar
- URBiVA
- Proteus
- Sugar
- ArgoTriCS
- ESRA
- BIGNUM
- sunny-cp
- SUNNY
- Wombit
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint
This page was built for software: meSAT
