Advanced Boolean Techniques

DOI10.1007/978-3-030-20323-8zbMath1416.94005OpenAlexW4237556422MaRDI QIDQ5223446

No author found.

Publication date: 18 July 2019

Full work available at URL: https://doi.org/10.1007/978-3-030-20323-8

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Research exposition (monographs, survey articles) pertaining to information and communication theory (94-02)

Uses Software

• MiniSat
• z3
• Chaff
• Sat4j
• ESPRESSO
• ABC
• tiny_sha3

This page was built for publication: Advanced Boolean Techniques