Schubert, T., & Becker, B. (2005). Lemma exchange in a microcontroller based parallel SAT solver. IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05), 142-147. https://doi.org/10.1109/ISVLSI.2005.47
Citace podle Chicago (17th ed.)Schubert, T., a B. Becker. "Lemma Exchange in a Microcontroller Based Parallel SAT Solver." IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05) 2005: 142-147. https://doi.org/10.1109/ISVLSI.2005.47.
Citace podle MLA (9th ed.)Schubert, T., a B. Becker. "Lemma Exchange in a Microcontroller Based Parallel SAT Solver." IEEE Computer Society Annual Symposium on VLSI: New Frontiers in VLSI Design (ISVLSI'05), 2005, pp. 142-147, https://doi.org/10.1109/ISVLSI.2005.47.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..