Sergei Ovcharov

According to our database, Sergei Ovcharov authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

2024

Resolution Over Linear Equations: Combinatorial Games for Tree-like Size and Space.

Svyatoslav Gryaznov, Sergei Ovcharov, Artur Riazanov

CoRR, 2024

On Limits of Symbolic Approach to SAT Solving.

Dmitry Itsykson, Sergei Ovcharov

Proceedings of the 27th International Conference on Theory and Applications of Satisfiability Testing, 2024

2023

OBDD(Join) Proofs Cannot Be Balanced.

Sergei Ovcharov

Proceedings of the 48th International Symposium on Mathematical Foundations of Computer Science, 2023