Carsten Sinz, Wolfgang Blochinger, Wolfgang Küchlin
PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications
ICST, 2001.
@article{SAT-2001-SinzBK,
author = "Carsten Sinz and Wolfgang Blochinger and Wolfgang Küchlin",
doi = "10.1016/S1571-0653(04)00323-3",
journal = "{Electronic Notes in Discrete Mathematics}",
pages = "205--216",
title = "{PaSAT — Parallel SAT-Checking with Lemma Exchange: Implementation and Applications}",
volume = 9,
year = 2001,
}