Tobias Schubert, Bernd Becker. Parallel SAT Solving with Microcontrollers. In Suresh Manandhar, Jim Austin, Uday B. Desai, Yoshio Oyanagi, Asoke K. Talukder, editors, Applied Computing, Second Asian Applied Computing Conference, AACC 2004, Kathmandu, Nepal, October 29-31, 2004. Proceedings. Volume 3285 of Lecture Notes in Computer Science, pages 59-67, Springer, 2004.
Abstract is missing.