14 citations · 25 across the 3 of their papers we have counts for
3 papers
More is Less: Adding Polynomials for Faster Explanations in NLSAT
Valentin Promies, Jasper Nalbach, Erika Ábrahám +1
To check the satisfiability of (non-linear) real arithmetic formulas, modern satisfiability modulo theories (SMT) solving algorithms like NLSAT depend heavily on single cell constr…
First successful satellite laser ranging with a fibre-based transmitter
Daniel Hampf, Fabian Sproll, Paul Wagner +3
Satellite Laser Ranging (SLR) is an established technology used for geodesy, fundamental science and precise orbit determination. This paper reports on the first successful SLR mea…
Optical technologies for the observation of low Earth orbit objects
Daniel Hampf, Paul Wagner, Wolfgang Riede
In order to avoid collisions with space debris, the near Earth orbit must be continuously scanned by either ground- or spaced-based facilities. For the low Earth orbit, radar teles…