meSAT

MaRDI QIDQ41356swMATHFDO

Official website http://jason.matf.bg.ac.rs/~mirkos/Mesat.html

Described by source

• meSAT: multiple encodings of CSP to SAT

Cited in

(15)

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

This page was built for software: meSAT