Concepedia

Peter Backeman

PB

Statistics

Publications

1

Citations

13

H-Index

1

Active since

2018

Affiliations

Uppsala University(Current)

Peter Backeman is an author at Uppsala University specializing in approximate computing, mathematical programming, and approximation theory.

ORCID

Top concepts

Publications per year

2018–2018

1

Publications

1

Bit-Vector Interpolation and Quantifier Elimination by Lazy Reduction

Peter Backeman, Philipp Rümmer, Aleksandar Zeljić · 2018 · 13 citations · Full text

, , +21

Rows per page

1–1 of 1