URBiVA

swMATH9448MaRDI QIDQ21431FDOQ21431

Author name not available (Why is that?)

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

Cited In (3)

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

This page was built for software: URBiVA