QAGen

swMATH25442MaRDI QIDQ37181FDOQ37181

Author name not available (Why is that?)

Official website: https://dl.acm.org/citation.cfm?id=1247520

Cited In (6)

• HaifaSat
• C32SAT
• Z34Bio
• MUDD
• Constrained obfuscation of relational databases
• Decision procedures. An algorithmic point of view

This page was built for software: QAGen