EasyChair Smart SlideDocs/Log in
Author: Tomáš Peitl

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

A SAT Solver’s Opinion on the Erdős-Faber-Lovász Conjecture

A SAT Solver’s Opinion on the Erdős-Faber-Lovász Conjecture

Markus Kirchweger, Tomáš Peitl and Stefan Szeider

QCDCL with Cube Learning or Pure Literal Elimination – What Is Best?

QCDCL with Cube Learning or Pure Literal Elimination – What Is Best?

Benjamin Böhm, Tomáš Peitl and Olaf Beyersdorff

Presentations in this collection: 2
Copyright © 2002 – 2024 EasyChair