This page shows all presentations of this author published in EasyChair Smart Slide.
Complexity of expander-based reasoning and the power of monotone proofs
Samuel Buss, Valentine Kabanets, Antonina Kolokolova and Michal Koucky
On Dual-Rail Based MaxSAT Solving
Maria Lluïsa Bonet, Sam Buss, Alexey Ignatiev, Joao Marques-Silva and Antonio Morgado
On OBBD Proofs
Samuel Buss