Bosphorus

MaRDI QIDQ1350095swMATHFDO

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

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

Cited in

(12)

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

This page was built for software: Bosphorus