Picture for Johannes Fichte

Johannes Fichte

Proceedings of the twelfth Workshop on Answer Set Programming and Other Computing Paradigms 2019

Add code
Nov 21, 2019
Viaarxiv icon

Proceedings of the elevent Workshop on Answer Set Programming and Other Computing Paradigms 2018

Add code
Dec 09, 2018
Viaarxiv icon

Answer Set Solving with Bounded Treewidth Revisited

Add code
Feb 09, 2017
Figure 1 for Answer Set Solving with Bounded Treewidth Revisited
Figure 2 for Answer Set Solving with Bounded Treewidth Revisited
Figure 3 for Answer Set Solving with Bounded Treewidth Revisited
Figure 4 for Answer Set Solving with Bounded Treewidth Revisited
Viaarxiv icon

Counting Answer Sets via Dynamic Programming

Add code
Dec 22, 2016
Figure 1 for Counting Answer Sets via Dynamic Programming
Figure 2 for Counting Answer Sets via Dynamic Programming
Viaarxiv icon