Tobias Schubert, Bernd Becker. Lemma Exchange in a Microcontroller Based Parallel SAT Solver. In 2005 IEEE Computer Society Annual Symposium on VLSI (ISVLSI 2005), New Frontiers in VLSI Design, 11-12 May 2005, Tampa, FL, USA. pages 142-147, IEEE Computer Society, 2005. [doi]
Abstract is missing.