URBiVA

swMATH9448MaRDI QIDQ21431FDOQ21431

Author name not available (Why is that?)

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