Artificial Intelligence

View Statistics Email Alert RSS Feed

Journal description

Title Titel
Artificial Intelligence
 
e-ISSN
1872-7921
 
ISSN
0004-3702
 
Publisher Herausgeber
ELSEVIER
 
Publisher's Address Herausgeber Adresse
RADARWEG 29, AMSTERDAM, Netherlands, 1043 NX
 
Listed in SCI Aufgelistet im SCI
 
Peer reviewed Begutachtet
 
 

Publications Publikationen

Filter:
Author:  Szeider, Stefan

Results 1-6 of 6 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Kim, Eun Jung ; Ordyniak, Sebastian ; Szeider, Stefan Algorithms and Complexity Results for Persuasive ArgumentationArtikel Article2011
2Dvořák, Wolfgang ; Ordyniak, Sebastian ; Szeider, Stefan Augmenting Tractable Fragments of Abstract ArgumentationArtikel Article2012
3Fichte, Johannes Klaus ; Szeider, Stefan Backdoors to tractable answer-set programmingArtikel Article2015
4Schidler-2023-Artificial Intelligence-vor.pdf.jpgSchidler, André ; Szeider, Stefan Computing optimal hypertree decompositions with SATArticle Artikel Dec-2023
5Gaspers, Serge ; Szeider, Stefan Guarantees and limits of preprocessing in constraint satisfaction and reasoningArtikel Article2014
6Ganian, Robert ; Szeider, Stefan New width parameters for SAT and #SATArtikel Article 2021