2 papers
cs.DC2022
Scalable SAT Solving in the Cloud
Dominik Schreiber, Peter Sanders
Previous efforts on making Satisfiability (SAT) solving fit for high performance computing (HPC) have lead to super-linear speedups on particular formulae, but for most inputs cann…
cs.DS2021
Fast Succinct Retrieval and Approximate Membership using Ribbon
Peter C. Dillinger, Lorenz Hübschle-Schneider, Peter Sanders +1
A retrieval data structure for a static function supports queries that return for any . Retrieval data structures can be used to implemen…