Backdoors to tractable answer set programming

Artificial Intelligence - Tập 220 - Trang 64-103 - 2015
Johannes Klaus Fichte1,2, Stefan Szeider1
1Vienna University of Technology, Favoritenstrasse 9-11, 1040 Vienna, Austria
2University of Potsdam, August-Bebel-Strasse 89, 14482 Potsdam, Germany

Tài liệu tham khảo

Thông tin
Thông tin xuất bản

Artificial Intelligence

Tập 220

64-103

Thông tin tác giả