Picture for Andreas Pfandler

Andreas Pfandler

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

Conformant Planning as a Case Study of Incremental QBF Solving

Add code
Apr 04, 2016
Figure 1 for Conformant Planning as a Case Study of Incremental QBF Solving
Figure 2 for Conformant Planning as a Case Study of Incremental QBF Solving
Figure 3 for Conformant Planning as a Case Study of Incremental QBF Solving
Figure 4 for Conformant Planning as a Case Study of Incremental QBF Solving
Viaarxiv icon

Backdoors to Abduction

Add code
Apr 22, 2013
Viaarxiv icon