358 citations · 371 across the 9 of their papers we have counts for
Showing cs.DSShow all
3 papers · 1 filter
cs.DS2026
Parallel Overhead LSD Radix Sort
Robert Clausecker, Florian Schintke
We present Radsort, a variant of LSD radix sort, sorting data with additional space. Radsort is stable, admits a simple implementation and is easy to parallel…
cs.DS2024
Faster Positional-Population Counts for AVX2, AVX-512, and ASIMD
Robert Clausecker, Daniel Lemire, Florian Schintke
The positional population count operation pospopcnt() counts for an array of w-bit words how often each of the w bits was set. Various applications in bioinformatics, database engi…
cs.DS2019
Learned Clause Minimization in Parallel SAT Solvers
Marc Hartung, Florian Schintke
Learned clauses minimization (LCM) let to performance improvements of modern SAT solvers especially in solving hard SAT instances. Despite the success of LCM approaches in sequenti…