Tobias Schubert, Bernd Becker. A Distributed SAT Solver for Microcontroller. In Uwe Brinkschulte, Jürgen Becker, Dietmar Fey, Karl-Erwin Großpietsch, Christian Hochberger, Erik Maehle, Thomas A. Runkler, editors, ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany. Volume 41 of LNI, pages 338-347, GI, 2004.
@inproceedings{SchubertB04:1,
title = {A Distributed SAT Solver for Microcontroller},
author = {Tobias Schubert and Bernd Becker},
year = {2004},
researchr = {https://researchr.org/publication/SchubertB04%3A1},
cites = {0},
citedby = {0},
pages = {338-347},
booktitle = {ARCS 2004 - Organic and Pervasive Computing, Workshops Proceedings, March 26, 2004, Augsburg, Germany},
editor = {Uwe Brinkschulte and Jürgen Becker and Dietmar Fey and Karl-Erwin Großpietsch and Christian Hochberger and Erik Maehle and Thomas A. Runkler},
volume = {41},
series = {LNI},
publisher = {GI},
isbn = {3-88579-370-9},
}