Concepedia

Bernhard Bliem

BB

Statistics

Publications

6

Citations

87

H-Index

6

Active since

2012

Affiliations

TU Wien(Current)

Bernhard Bliem is an author at TU Wien specializing in engineering, mathematical programming, and combinatorial optimization.

Top concepts

EngineeringComputer ScienceMathematical ProgrammingCombinatorial OptimizationFormal MethodsProgram AnalysisAutomated ReasoningComputational ComplexityAnswer Set ProgrammingSoftware Analysis

Publications per year

2012–2020

6

Publications

6

Complexity of efficient and envy-free resource allocation: few agents, resources, or utility levels

Bernhard Bliem, Robert Bredereck, Rolf Niedermeier · 2016 · 25 citations

Mathematical Programming, Few Agents, Engineering +22

The Impact of Treewidth on ASP Grounding and Solving

Bernhard Bliem, Marius Moldovan, Michael Morak et al. · 2017 · 14 citations · Full text

Mathematical Programming, Engineering, Verification +24

D-FLAT: Declarative problem solving using tree decompositions and answer-set programming

Bernhard Bliem, Michael Morak, Stefan Woltran · Theory and Practice of Logic Programming · 2012 · 13 citations

Artificial Intelligence, Mathematical Programming, Engineering +22

The Impact of Treewidth on Grounding and Solving of Answer Set Programs

Bernhard Bliem, Michael Morak, Marius Moldovan et al. · Journal of Artificial Intelligence Research · 2020 · 13 citations · Full text

Mathematical Programming, Engineering, Verification +20

D-FLAT^2: Subset Minimization in Dynamic Programming on Tree Decompositions Made Easy

Bernhard Bliem, Günther Charwat, Markus Hecher et al. · Fundamenta Informaticae · 2016 · 12 citations

Mathematical Programming, Artificial Intelligence, Large-scale Global Optimization +22

1–5 of 6