Bosphorus

swMATH43991MaRDI QIDQ1350095FDOQ1350095

Author name not available (Why is that?)

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

Cited In (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