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)

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

This page was built for software: meSAT