Name Card

Full name Familienname, Vorname
Hecher, Markus
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 66 (Search time: 0.019 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Correa-2023-Grounding Planning Tasks Using Tree Decompositions and Iterat...-vor.pdf.jpgCorrêa, Augusto ; Hecher, Markus ; Helmert, Malte ; Longo, Davide Mario ; Pommerening, Florian ; Woltran, Stefan Grounding Planning Tasks Using Tree Decompositions and Iterated SolvingInproceedings Konferenzbeitrag 1-Jul-2023
2Fichte-2023-Communications of the ACM-vor.pdf.jpgFichte, Johannes K. ; Le Berre, Daniel ; Hecher, Markus ; Szeider, Stefan The silent (r)evolution of SATArticle Artikel Jun-2023
3Fichte, Johannes Klaus ; Hecher, Markus ; Morak, Michael ; Thier, Christopher-Patrick ; Woltran, Stefan Solving Projected Model Counting by Utilizing Treewidth and its LimitsArticle Artikel Jan-2023
4Fichte, Johannes K. ; Ganian, Robert ; Hecher, Markus ; Slivovsky, Friedrich ; Ordyniak, Sebastian Structure-Aware Lower Bounds and Broadening the Horizon of Tractability for QBFInproceedings Konferenzbeitrag 2023
5Besin-2023-On the Structural Complexity of Grounding - Tackling the ASP G...-vor.pdf.jpgBesin, Viktor ; Hecher, Markus ; Woltran, Stefan On the Structural Complexity of Grounding - Tackling the ASP Grounding Bottleneck via Epistemic Programs and TreewidthInproceedings Konferenzbeitrag 2023
6Fichte, Johannes Klaus ; Gaggl, Sarah Alice ; Hecher, Markus ; Rusovac, Dominik IASCAR: Incremental Answer Set Counting by Anytime RefinementInproceedings Konferenzbeitrag Sep-2022
7Fichte-2022-Proofs for Propositional Model Counting-vor.pdf.jpgFichte, Johannes K. ; Hecher, Markus ; Roland, Valentin Proofs for Propositional Model CountingInproceedings Konferenzbeitrag 28-Jul-2022
8Fichte, Johannes K. ; Hecher, Markus ; Nadeem, Mohamed A. Plausibility Reasoning via Projected Answer Set Counting - A Hybrid ApproachInproceedings Konferenzbeitrag Jul-2022
9Dvorak-2022-Tractable Abstract Argumentation via Backdoor-Treewidth-vor.pdf.jpgDvořák, Wolfgang ; Hecher, Markus ; König, Matthias ; Schidler, Andre ; Szeider, Stefan ; Woltran, Stefan Tractable Abstract Argumentation via Backdoor-TreewidthInproceedings Konferenzbeitrag 28-Jun-2022
10Dewoprabowo, Ridhwan ; Fichte, Johannes Klaus ; Gorczyca, Piotr Jerzy ; Hecher, Markus A Practical Account into Counting Dung's Extensions by Dynamic ProgrammingInproceedings Konferenzbeitrag 2022
11Besin-2022-Body-Decoupled Grounding via Solving A Novel Approach on the A...-vor.pdf.jpgBesin, Viktor ; Hecher, Markus ; Woltran, Stefan Body-Decoupled Grounding via Solving: A Novel Approach on the ASP BottleneckInproceedings Konferenzbeitrag 2022
12Fichte, Johannes ; Hecher, Markus ; Meier, Arne Knowledge-Base Degrees of Inconsistency: Complexity and CountingKonferenzbeitrag Inproceedings 2021
13Fandinno, Jorge ; Hecher, Markus Treewidth-Aware Complexity in {ASP:} Not all Positive Cycles are Equally HardKonferenzbeitrag Inproceedings 2021
14Fichte, Johannes ; Hecher, Markus ; Roland, Valentin Parallel Model Counting with {CUDA:} Algorithm Engineering for Efficient Hardware UtilizationKonferenzbeitrag Inproceedings 2021
15Fichte, Johannes ; Hecher, Markus ; McCreesh, Ciaran ; Shahab, Anas Complications for Computational Experiments from Modern ProcessorsKonferenzbeitrag Inproceedings 2021
16Fichte, Johannes ; Hecher, Markus ; Mahmood, Yasir ; Meier, Arne Decomposition-Guided Reductions for Argumentation and TreewidthKonferenzbeitrag Inproceedings 2021
17Fichte, Johannes K. ; Hecher, Markus ; Hamiti, Florim The Model Counting Competition 2020Artikel Article 2021
18Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021
19Fichte, Johannes K. ; Hecher, Markus ; Morak, Michael ; Woltran, Stefan DynASP2.5: Dynamic Programming on Tree Decompositions in ActionArtikel Article 2021
20Eiter, Thomas ; Hecher, Markus ; Kiesel, Rafael Treewidth-Aware Cycle Breaking for Algebraic Answer Set CountingKonferenzbeitrag Inproceedings 2021

Contributing Publications Mitbeteiligte Publikationen

Results 1-2 of 2 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Besin Viktor - 2023 - A Novel Method for Grounding in Answer-Set Programming.pdf.jpgBesin, Viktor A novel method for grounding in answer-set programmingThesis Hochschulschrift 2023
2Zisser Markus - 2018 - Solving the SAT problem on the GPU with dynamic...pdf.jpgZisser, Markus Solving the #SAT problem on the GPU with dynamic programming and OpenCLThesis Hochschulschrift 2018