Peter Backeman

From MaRDI portal
Person:1799084

Available identifiers

zbMath Open backeman.peterMaRDI QIDQ1799084

List of research outcomes





PublicationDate of PublicationType
Interpolating bit-vector formulas using uninterpreted predicates and Presburger arithmetic2021-12-08Paper
Exploring approximations for floating-point arithmetic using UppSAT2018-10-18Paper
Free Variables and Theories: Revisiting Rigid E-unification2017-02-27Paper
Efficient Algorithms for Bounded Rigid E-unification2015-12-11Paper
Theorem Proving with Bounded Rigid E-Unification2015-12-02Paper

Research outcomes over time

This page was built for person: Peter Backeman

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1799084&oldid=6425004"
Powered by MediaWiki