Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?
Paper Details
Title
Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?
Published Date
Dec 17, 2021
Journal
Volume
304
Pages
103651 - 103651
Notes
History