1 citations · 1 across the 3 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2026
Beyond Lemma Sharing -- Novel Parallelization Strategies for Property Directed Reachability
Verner Vlačić
Property Directed Reachability (PDR) is a commonly used technique for automated hardware model checking, yet efficiently parallelizing it remains a significant challenge. Existing…
cs.DC2026★ 1 cited
Nonlinear spectral clustering with C++ GraphBLAS
Dimosthenis Pasadakis, Olaf Schenk, Verner Vlacic +1
Nonlinear reformulations of the spectral clustering method have gained a lot of recent attention due to their increased numerical benefits and their solid mathematical background.…