URBiVA

MaRDI QIDQ21431swMATHFDO

Official website http://link.springer.com/chapter/10.1007%2F978-3-642-14203-1_29

Cited in

(4)

• meSAT: multiple encodings of CSP to SAT
• URBiVA: uniform reduction to bit-vector arithmetic
• SIMPLY
• URSA: a system for uniform reduction to SAT

This page was built for software: URBiVA