Nikita Slezkin

Orcid: 0000-0003-1904-9261

According to our database1, Nikita Slezkin authored at least 4 papers between 2021 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
CNF Encodings of Symmetric Functions.
Theory Comput. Syst., October, 2024

2022
SAT-Based Circuit Local Improvement.
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

CNF Encodings of Parity.
Proceedings of the 47th International Symposium on Mathematical Foundations of Computer Science, 2022

2021
SAT-based Circuit Local Improvement.
Electron. Colloquium Comput. Complex., 2021


  Loading...