Publisher
Open Publishing Association
Subject
Psychiatry and Mental health
Reference10 articles.
1. Clause-Learning Algorithms with Many Restarts and Bounded-Width Resolution;Atserias;J. Artif. Intell. Res.,2011
2. Treewidth-Aware Complexity in ASP: Not all Positive Cycles are Equally Hard;Fandinno,2021
3. Treewidth and Counting Projected Answer Sets;Fichte,2019
4. Lower Bounds for QBFs of Bounded Treewidth;Fichte,2020
5. Treewidth-aware reductions of normal ASP to SAT - Is normal ASP harder than SAT after all?;Hecher;Artif. Intell.,2022