|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 |  | De Colnet, Alexis ; Mengel, Stefan | Characterizing Tseitin-formulas with short regular resolution refutations | Article Artikel    | 2023 |
| 2 | | Heule, Marijn ; Järvisalo, Matti ; Lonsing, Florian ; Seidl, Martina ; Biere, Armin | Clause Elimination for SAT and QSAT | Artikel Article | 2015 |
| 3 | | Atserias, A. ; Fichte, J. K. ; Thurley, M. | Clause-learning algorithms with many restarts and bounded-width resolution | Artikel Article | 2011 |
| 4 |  | Wallner, Johannes ; Niskanen, Andreas ; Järvisalo, Matti | Complexity Results and Algorithms for Extension Enforcement in Abstract Argumentation | Article Artikel | 2017 |
| 5 | | Eiter, Thomas ; Fink, Michael ; Stepanova, Daria | Computing Repairs of Inconsistent DL-Programs over EL Ontologies | Artikel Article | 2016 |
| 6 | | Peitl, Tomáš ; Slivovsky, Friedrich ; Szeider, Stefan | Dependency Learning for QBF | Artikel Article | 2019 |
| 7 | | Dao-Tran, Minh ; Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas | Distributed Evaluation of Nonmonotonic Multi-Context Systems | Artikel Article | 2015 |
| 8 | | Eiter, Thomas ; Fink, Michael ; Krennwallner, Thomas ; Redl, Christoph | Domain Expansion for ASP-Programs with External Sources | Artikel Article | 2016 |
| 9 | | Comploi-Taupe, Richard ; Friedrich, Gerhard ; Schekotihin, Konstantin ; Weinzierl, Antonius | Domain-Specific Heuristics in Answer Set Programming: A Declarative Non-Monotonic Approach | Article Artikel | 5-Jan-2023 |
| 10 | | Eiter, T. ; Fink, M. ; Krennwallner, T. ; Redl, C. ; Schüller, P. | Efficient HEX-Program Evaluation based on Unfounded Sets | Artikel Article | 2014 |
| 11 |  | Eiter, Thomas ; Kaminski, Tobias ; Redl, Christoph ; Weinzierl, Antonius | Exploiting Partial Assignments for Efficient Evaluation of Answer Set Programs with External Source Access | Article Artikel | 2018 |
| 12 | | Abseher, Michael ; Musliu, Nysret ; Woltran, Stefan | Improving the Efficiency of Dynamic Programming on Tree Decompositions via Machine Learning | Artikel Article | 2017 |
| 13 | | De Bruijn, J. ; Heymans, S. | Logical Foundations of RDF(S) with Datatypes | Artikel Article | 2010 |
| 14 | | Janhunen, T. ; Oikarinen, E. ; Tompits, H. ; Woltran, S. | Modularity Aspects of Disjunctive Stable Models | Artikel Article | 2009 |
| 15 | | Dvořák, W. ; Woltran, S. | On the Intertranslatability of Argumentation Semantics | Artikel Article | 2011 |
| 16 | | De Haan, Ronald ; Kanj, Iyad ; Szeider, Stefan | On the Subexponential-Time Complexity of CSP | Artikel Article | 2015 |
| 17 | | Ordyniak, S. ; Szeider, S. | Parameterized Complexity Results for Exact Bayesian Network Structure Learning | Artikel Article | 2013 |
| 18 | | Creignou, Nadia ; Daude, Herve ; Egly, Uwe | Phase Transition for Random Quantified XOR-Formulas | Artikel Article | 2007 |
| 19 | | Maly, Jan ; Truszczyński, Miroslaw ; Woltran, Stefan | Preference Orders on Families of Sets - When Can Impossibility Results Be Avoided? | Artikel Article | 2019 |
| 20 | | Eiter, Thomas ; Weinzierl, Antonius | Preference-Based Inconsistency Management in Multi-Context Systems | Artikel Article | 2017 |
