EasyChair Smart SlideUser guide
Author: Katalin Fazekas

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

Certifying Incremental SAT Solving

Certifying Incremental SAT Solving

Katalin Fazekas, Florian Pollitt, Mathias Fleury and Armin Biere

On Incremental Pre-Processing for SMT

On Incremental Pre-Processing for SMT

Nikolaj Bjorner and Katalin Fazekas

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Implicit Hitting Set Algorithms for Maximum Satisfiability Modulo Theories

Katalin Fazekas, Fahiem Bacchus and Armin Biere

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