EasyChair Smart SlideUser guide
Author: Antonina Kolokolova

This page shows all presentations of this author published in EasyChair Smart Slide.

Limits of CDCL Learning via Merge Resolution

Limits of CDCL Learning via Merge Resolution

Marc Vinyals, Noah Fleming, Vijay Ganesh, Antonina Kolokolova and Chunxiao Li

On the Hierarchical Community Structure of Practical SAT Formulas

On the Hierarchical Community Structure of Practical SAT Formulas

Chunxiao Li, Jonathan Chung, Soham Mukherjee, Marc Vinyals, Noah Fleming, Antonina Kolokolova, Alice Mu and Vijay Ganesh

Complexity of expander-based reasoning and the power of monotone proofs

Complexity of expander-based reasoning and the power of monotone proofs

Samuel Buss, Valentine Kabanets, Antonina Kolokolova and Michal Koucky

The Proof Complexity of SMT Solvers

The Proof Complexity of SMT Solvers

Robert Robere, Antonina Kolokolova and Vijay Ganesh

Presentations in this collection: 4
Copyright © 2002 – 2026 EasyChair