Bosphorus

swMATH43991MaRDI QIDQ1350095FDOQ1350095

Author name not available (Why is that?)

Official website: https://ieeexplore.ieee.org/document/8715061

Source code repository: https://github.com/meelgroup/bosphorus

Cited In (11)

• Nusschecker
• Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions
• On conversions from CNF to ANF
• antom
• petBoss
• PolyCleaner
• RevSCA
• FourierSAT
• AMulet
• Nullstellensatz-proofs for multiplier verification
• Pacheck

This page was built for software: Bosphorus