EasyChair Smart SlideDocs/Log in
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

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: 3
Copyright © 2002 – 2024 EasyChair