The following pages link to Andreas Fröhlich (Q504996):
Displaying 21 items.
- Complexity of fixed-size bit-vector logics (Q504997) (← links)
- The Stokes operator in weighted \(L^q\)-spaces. I: Weighted estimates for the Stokes resolvent problem in a half space (Q1402384) (← links)
- Maximal regularity for the non-stationary Stokes system in an aperture domain. (Q1565965) (← links)
- Parameter uncertainty and reserve risk under Solvency II (Q1667421) (← links)
- XOR local search for Boolean Brent equations (Q2118332) (← links)
- Modelling parameter uncertainty for risk capital calculation (Q2356238) (← links)
- The Stokes operator in weighted \(L^q\)-spaces. II: Weighted resolvent estimates and maximal \(L^p\)-regularity (Q2458839) (← links)
- (Q2743181) (← links)
- On the Complexity of Symbolic Verification and Decision Problems in Bit-Vector Logic (Q2922635) (← links)
- Solutions of the Navier-Stokes initial value problem in weightedLq-spaces (Q3044027) (← links)
- Improving Implementation of SLS Solvers for SAT and New Heuristics for k-SAT with Long Clauses (Q3192078) (← links)
- Everything You Always Wanted to Know about Blocked Sets (But Were Afraid to Ask) (Q3192079) (← links)
- Evaluating CDCL Variable Scoring Schemes (Q3453243) (← links)
- (Q3700437) (← links)
- (Q3998143) (← links)
- (Q4462494) (← links)
- (Q4551572) (← links)
- bv2epr: A Tool for Polynomially Translating Quantifier-Free Bit-Vector Formulas into EPR (Q4928459) (← links)
- More on the Complexity of Quantifier-Free Fixed-Size Bit-Vector Logics with Binary Encoding (Q4928502) (← links)
- Improving Stochastic Local Search for SAT with a New Probability Distribution (Q4930575) (← links)
- $H^\infty $ calculus and dilatations (Q5438395) (← links)