SONOLAR

swMATH26291MaRDI QIDQ38022FDOQ38022

Author name not available (Why is that?)

Official website: https://www.informatik.uni-bremen.de/agbs/florian/sonolar/

Cited In (5)

• Deciding floating-point logic with abstract conflict driven clause learning
• UppSAT
• XSat
• Exploring approximations for floating-point arithmetic using UppSAT
• Complete model-based equivalence class testing for nondeterministic systems

This page was built for software: SONOLAR