Skip to content

An Adaptive Parallel SAT Solver.

Gilles Audemard, Jean-Marie Lagniez, Nicolas Szczepanski, Sbastien Tabary

VenueACP
Year2016
ProceedingsCP

Browse the full CP paper archive.