APA (7th ed.) Citation

Chukharev, K., Gribanova, I., Ivanov, D., Kochemazov, S., Kondratiev, V., & Semenov, A. Effective Partitioning Method With Predictable Hardness for CircuitSAT. IEEE.

Chicago Style (17th ed.) Citation

Chukharev, Konstantin, Irina Gribanova, Dmitry Ivanov, Stepan Kochemazov, Victor Kondratiev, and Alexander Semenov. Effective Partitioning Method With Predictable Hardness for CircuitSAT. IEEE.

MLA (9th ed.) Citation

Chukharev, Konstantin, et al. Effective Partitioning Method With Predictable Hardness for CircuitSAT. IEEE.