IPASIR-UP: User Propagators for CDCL.

Katalin Fazekas, Aina Niemetz, Mathias Preiner, Markus Kirchweger, Stefan Szeider, Armin Biere

Browse the full SAT paper archive.