EasyChair Smart SlideDocs/Log in
Author: Stefan Szeider

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

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth

A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth

Friedrich Slivovsky and Stefan Szeider

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