The following pages link to M. Sauer (Q2639204):
Displayed 7 items.
- On the order of the automorphism group of a surface of general type (Q2639205) (← links)
- Accurate Computation of Sensitizable Paths Using Answer Set Programming (Q2851235) (← links)
- PHAETON: A SAT-Based Framework for Timing-Aware Path Sensitization (Q2985445) (← links)
- Coupling of mesh-free methods with finite elements: basic concepts and test results (Q3423253) (← links)
- Incremental Encoding and Solving of Cardinality Constraints (Q3457805) (← links)
- Error analysis of CORDIC-based Jacobi algorithms (Q4421234) (← links)
- An efficient Jacobi-like algorithm for parallel eigenvalue computation (Q5375330) (← links)