doi.org/10.1016/j.artint.2021.103651

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?

Artificial Intelligence4.60

Volume: 304, Pages: 103651 - 103651

Published: Dec 17, 2021

Paper Fields

Paper Details

Title

Treewidth-aware reductions of normal ASP to SAT – Is normal ASP harder than SAT after all?

DOI

doi.org/10.1016/j.artint.2021.103651

Published Date

Dec 17, 2021

Journal

Artificial Intelligence

Volume

304

Pages

103651 - 103651

Notes

History