Picture for Irina Schindler

Irina Schindler

Default Logic and Bounded Treewidth

Add code
Dec 30, 2017
Figure 1 for Default Logic and Bounded Treewidth
Figure 2 for Default Logic and Bounded Treewidth
Viaarxiv icon

Strong Backdoors for Default Logic

Add code
Feb 19, 2016
Figure 1 for Strong Backdoors for Default Logic
Viaarxiv icon