The following pages link to Dirk Van Heule (Q544208):
Displaying 6 items.
- Multi-stage solvers optimized for damping and propagation (Q544211) (← links)
- The non-definedness notion in expert systems (Q1818978) (← links)
- On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes (Q3069091) (← links)
- The Quasi-Newton Least Squares Method: A New and Fast Secant Method Analyzed for Linear Systems (Q3578077) (← links)
- Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages (Q5015592) (← links)
- (Q5306879) (← links)
