Florian Widmann

Available identifiers

zbMath Open widmann.florianMaRDI QIDQ2254248

List of research outcomes

Publication	Date of Publication	Type
An on-the-fly tableau-based decision procedure for PDL-satisfiability	2015-03-23	Paper
Discrete and continuous models for partitioning problems	2015-02-04	Paper
Solving graded/probabilistic modal logic via linear inequalities (system description)	2012-06-15	Paper
Optimal and cut-free tableaux for propositional dynamic logic with converse	2010-09-14	Paper
Sound global state caching for ALC with inverse roles	2009-12-01	Paper
An Optimal On-the-Fly Tableau-Based Decision Procedure for PDL-Satisfiability	2009-07-28	Paper
One-Pass Tableaux for Computation Tree Logic	2008-05-15	Paper
The Minimum Manhattan Network Problem: A Fast Factor-3 Approximation	2008-03-18	Paper
The minimum Manhattan network problem: Approximations and exact solutions	2006-10-25	Paper

Research outcomes over time

This page was built for person: Florian Widmann