AUSTIN

swMATH15104MaRDI QIDQ26997FDOQ26997

Author name not available (Why is that?)

Official website: doi:10.1109/SSBSE.2010.21

Cited In (2)

• Exploiting binary floating-point representations for constraint propagation
• FloPSy

This page was built for software: AUSTIN