swMATH29642MaRDI QIDQ41356FDOQ41356
Author name not available (Why is that?)
Official website: http://jason.matf.bg.ac.rs/~mirkos/Mesat.html
Cited In (15)
- Wombit: a portfolio bit-vector solver using word-level propagation
- Portfolio theorem proving and prover runtime prediction for geometry
- Why CP portfolio solvers are (under)utilized? Issues and challenges
- \textsc{Conjure}: automatic generation of constraint models from problem specifications
- Azucar
- URBiVA
- Proteus
- Sugar
- ArgoTriCS
- ESRA
- BIGNUM
- sunny-cp
- SUNNY
- Wombit
- Extending SMT solvers with support for finite domain \texttt{alldifferent} constraint
This page was built for software: meSAT
