5 citations · 6 across the 2 of their papers we have counts for
1 paper · 1 filter
Tomas Balyo, Florian Lonsing
The recently developed massively parallel satisfiability (SAT) solver HordeSAT was designed in a modular way to allow the integration of any sequential CDCL-based SAT solver in its…