2 papers
cs.SC2025
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…
astro-ph.IM2016
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…