Dirk Van Heule

Available identifiers

zbMath Open van-heule.dirkMaRDI QIDQ544208

List of research outcomes

Publication	Date of Publication	Type
Applications of SAT Solvers in Cryptanalysis: Finding Weak Keys and Preimages	2021-12-09	Paper
Multi-stage solvers optimized for damping and propagation	2011-06-14	Paper
On the Similarities Between the Quasi-Newton Inverse Least Squares Method and GMRes	2011-01-24	Paper
The Quasi-Newton Least Squares Method: A New and Fast Secant Method Analyzed for Linear Systems	2010-07-13	Paper
https://portal.mardi4nfdi.de/entity/Q5306879	2010-04-12	Paper
The non-definedness notion in expert systems	2000-01-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Dirk Van Heule