EasyChair Smart SlideDocs/Log in
Author: Stefan Woltran

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

Exploiting Treewidth for Projected Model Counting and its Limits

Exploiting Treewidth for Projected Model Counting and its Limits

Johannes K. Fichte, Markus Hecher, Michael Morak and Stefan Woltran

A new logic for jointly representing hard and soft constraints

A new logic for jointly representing hard and soft constraints

Jan Maly and Stefan Woltran

selp: A Single-Shot Epistemic Logic Program Solver

selp: A Single-Shot Epistemic Logic Program Solver

Manuel Bichler, Michael Morak and Stefan Woltran

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