meSAT

swMATH29642MaRDI QIDQ41356FDOQ41356

Author name not available (Why is that?)

Described by source

• meSAT: multiple encodings of CSP to SAT

Cited In (5)

• Wombit: a portfolio bit-vector solver using word-level propagation
• Why CP Portfolio Solvers Are (under)Utilized? Issues and Challenges
• Portfolio theorem proving and prover runtime prediction for geometry
• \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