EasyChair Smart SlideDocs/Log in
Author: Markus Iser

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

A Comprehensive Study of K-Portfolios of Recent SAT Solvers

A Comprehensive Study of K-Portfolios of Recent SAT Solvers

Jakob Bach, Markus Iser and Klemens Böhm

Dinosat: a SAT Solver with Native DNF Support

Dinosat: a SAT Solver with Native DNF Support

Thomas Bartel, Tomas Balyo and Markus Iser

Calculating Sufficient Reasons for Random Forest Classifiers

Calculating Sufficient Reasons for Random Forest Classifiers

Markus Iser

SATViz: Real-Time Visualization of Clausal Proofs

SATViz: Real-Time Visualization of Clausal Proofs

Tim Holzenkamp, Kevin Kuryshev, Thomas Oltmann, Lucas Wäldele, Johann Zuber, Tobias Heuer and Markus Iser

A Problem Meta-Data Library for Research in SAT

A Problem Meta-Data Library for Research in SAT

Markus Iser and Carsten Sinz

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