EasyChair Smart SlideDocs/Log in
Author: Jan Elffers

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

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Seeking Practical CDCL Insights from Theoretical SAT Benchmarks

Jan Elffers, Jesus Giráldez-Cru, Stephan Gocht, Jakob Nordstrom and Laurent Simon

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

Divide and Conquer: Towards Faster Pseudo-Boolean Solving

Divide and Conquer: Towards Faster Pseudo-Boolean Solving

Jan Elffers 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 – 2024 EasyChair