External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Building Better Bit-Blasting for Floating-Point Problems

Martin Brain, Florian Schanda, Youcheng Sun. Building Better Bit-Blasting for Floating-Point Problems. In Tomás Vojnar, Lijun Zhang, editors, Tools and Algorithms for the Construction and Analysis of Systems - 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part I. Volume 11427 of Lecture Notes in Computer Science, pages 79-98, Springer, 2019. [doi]

Authors

Martin Brain

This author has not been identified. Look up 'Martin Brain' in Google

Florian Schanda

This author has not been identified. Look up 'Florian Schanda' in Google

Youcheng Sun

This author has not been identified. Look up 'Youcheng Sun' in Google
runs on