Concepedia

Marius Moldovan

MM

Statistics

Publications

2

Citations

27

H-Index

2

Active since

2017

Affiliations

TU Wien(Current)

Marius Moldovan is an author at TU Wien specializing in formal methods, mathematical programming, and program analysis.

Top concepts

EngineeringVerificationFormal MethodsComputer ScienceProgram AnalysisSoftware AnalysisAutomated ReasoningFormal VerificationComputational ComplexityMathematical Programming

Publications per year

2017–2020

2

Publications

2

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

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

1–2 of 2