Statistics
Publications
12
Citations
432
H-Index
11
Active since
2010
Thomas Dueholm Hansen is an author at Aarhus University specializing in computer science, computing, and algorithms.
Publications per year
2010–2019
12
12
Faster <i>k</i> -SAT algorithms using biased-PPSZ
Thomas Dueholm Hansen, Haim Kaplan, Or Zamir et al. · 2019 · 30 citations
1–5 of 12