Bogdanova, V. G., & Gorsky, S. A. (2018, May). Scalable parallel solver of boolean satisfiability problems. 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), 0222-0227. https://doi.org/10.23919/MIPRO.2018.8400042
Citácia podle Chicago (17th ed.)Bogdanova, V. G., a S. A. Gorsky. "Scalable Parallel Solver of Boolean Satisfiability Problems." 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO) May. 2018: 0222-0227. https://doi.org/10.23919/MIPRO.2018.8400042.
Citácia podľa MLA (8th ed.)Bogdanova, V. G., a S. A. Gorsky. "Scalable Parallel Solver of Boolean Satisfiability Problems." 2018 41st International Convention on Information and Communication Technology, Electronics and Microelectronics (MIPRO), May. 2018, pp. 0222-0227, https://doi.org/10.23919/MIPRO.2018.8400042.