EasyChair Smart SlideUser guide
Author: Marc Vinyals

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

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

In Between Resolution and Cutting Planes: A Study of Proof Systems for Pseudo-Boolean SAT Solving

Marc Vinyals, Jan Elffers, Jesús Giráldez-Crú, Stephan Gocht and Jakob Nordstrom

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Using Combinatorial Benchmarks to Probe the Reasoning Power of Pseudo-Boolean Solvers

Jan Elffers, Jesus Giráldez-Cru, Jakob Nordstrom and Marc Vinyals

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