Picture for Johannes Klaus Fichte

Johannes Klaus Fichte

TE-ETH: Lower Bounds for QBFs of Bounded Treewidth

Add code
Oct 02, 2019
Figure 1 for TE-ETH: Lower Bounds for QBFs of Bounded Treewidth
Figure 2 for TE-ETH: Lower Bounds for QBFs of Bounded Treewidth
Figure 3 for TE-ETH: Lower Bounds for QBFs of Bounded Treewidth
Viaarxiv icon

Backdoors to Tractable Answer-Set Programming

Add code
Mar 06, 2014
Figure 1 for Backdoors to Tractable Answer-Set Programming
Figure 2 for Backdoors to Tractable Answer-Set Programming
Figure 3 for Backdoors to Tractable Answer-Set Programming
Figure 4 for Backdoors to Tractable Answer-Set Programming
Viaarxiv icon

Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution

Add code
Jan 16, 2014
Figure 1 for Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Figure 2 for Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution
Viaarxiv icon

Backdoors to Normality for Disjunctive Logic Programs

Add code
May 02, 2013
Figure 1 for Backdoors to Normality for Disjunctive Logic Programs
Viaarxiv icon

The Good, the Bad, and the Odd: Cycles in Answer-Set Programs

Add code
Feb 15, 2012
Figure 1 for The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Figure 2 for The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Figure 3 for The Good, the Bad, and the Odd: Cycles in Answer-Set Programs
Viaarxiv icon