Formalizing Dangerous SAT Encodings.

Alexander Hertel, Philipp Hertel, Alasdair Urquhart

Browse the full SAT paper archive.