APA (7th ed.) Citation

Kondratiev, V., Gribanova, I., & Semenov, A. (2026). Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances.

Chicago Style (17th ed.) Citation

Kondratiev, Victor, Irina Gribanova, and Alexander Semenov. Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances. 2026.

MLA (9th ed.) Citation

Kondratiev, Victor, et al. Efficient Parallel Algorithm for Decomposing Hard CircuitSAT Instances. 2026.