Bosphorus
From MaRDI portal
Software:1350095
No author found.
Source code repository: https://github.com/meelgroup/bosphorus
Related Items (3)
Solving hybrid Boolean constraints in continuous space via multilinear Fourier expansions ⋮ On conversions from CNF to ANF ⋮ Nullstellensatz-proofs for multiplier verification
This page was built for software: Bosphorus
