Horn backdoor detection via vertex cover: benchmark description

[PDF] dagstuhl.de

The PACE 2019 parameterized algorithms and computational experiments challenge: the fourth iteration

MA Dzulfikar, JK Fichte, M Hecher - … International Symposium on …, 2019 - drops.dagstuhl.de
The organizers of the 4th Parameterized Algorithms and Computational Experiments
challenge (PACE 2019) report on the 4th iteration of the PACE challenge. This year, the first …
被引用次数：43 相关文章 所有 7 个版本
[HTML] sciencedirect.com

[HTML][HTML] Backdoors to tractable answer set programming

JK Fichte, S Szeider - Artificial Intelligence, 2015 - Elsevier
Abstract Answer Set Programming (ASP) is an increasingly popular framework for
declarative programming that admits the description of problems by means of rules and …
被引用次数：39 相关文章 所有 6 个版本
[PDF] tuwien.at

Backdoors to tractability of disjunctive answer set programming

JK Fichte - 2015 - repositum.tuwien.at
Answer set programming (ASP) is an increasingly popular framework for declarative
programming that admits the description of problems by means of atoms, rules, and …
被引用次数：1 相关文章