Movatterモバイル変換

[0]ホーム
URL:

PhilPapersPhilPeoplePhilArchivePhilEventsPhilJobs

Works by Stefan Szeider

(view other items matching `Stefan Szeider`,view all matches )
7 found
Order:

1 filter applied
  1.  20
    Augmenting tractable fragments of abstract argumentation.Wolfgang Dvořák,Sebastian Ordyniak &Stefan Szeider -2012 -Artificial Intelligence 186 (C):157-173.
  2.  15
    Computing optimal hypertree decompositions with SAT.André Schidler &Stefan Szeider -2023 -Artificial Intelligence 325 (C):104015.
  3.  11
    Backdoors to tractable answer set programming.Johannes Klaus Fichte &Stefan Szeider -2015 -Artificial Intelligence 220 (C):64-103.
  4.  12
    Algorithms and complexity results for persuasive argumentation.Eun Jung Kim,Sebastian Ordyniak &Stefan Szeider -2011 -Artificial Intelligence 175 (9-10):1722-1736.
  5.  20
    New width parameters for SAT and #SAT.Robert Ganian &Stefan Szeider -2021 -Artificial Intelligence 295 (C):103460.
    Direct download(2 more)  
     
    Export citation  
     
    Bookmark  
  6.  17
    Guarantees and limits of preprocessing in constraint satisfaction and reasoning.Serge Gaspers &Stefan Szeider -2014 -Artificial Intelligence 216 (C):1-19.
  7.  15
    Theory and applications of satisfiability testing-- SAT 2010: 13th international conference, SAT 2010 Edinburgh, UK, July 2010: proceedings.Ofer Strichman &Stefan Szeider (eds.) -2010 - Berlin: Springer.
    The LNCS series reports state-of-the-art results in computer science research, development, and education, at a high level and in both printed and electronic form.
    Direct download  
     
    Export citation  
     
    Bookmark  
Export
Limit to items.
Filters





Configure languageshere.Sign in to use this feature.

Viewing options


Open Category Editor
Off-campus access
Using PhilPapers from home?

Create an account to enable off-campus access through your institution's proxy server or OpenAthens.

Monitor this page
Be alerted of all new items appearing on this page. Choose how you want to monitor it:

Email RSS feed
Home |New books and articles |Bibliographies |Philosophy journals |About PhilPapers |API |Contact us |Code of conduct

CDPPhiosophy Documentation Center
PhilPapers logo byAndrea Andrews andMeghan Driscoll.
This site uses cookies and Google Analytics (see ourterms & conditions for details regarding the privacy implications).

Use of this site is subject toterms & conditions.
All rights reserved byThe PhilPapers Foundation

Server: philpapers-web-5b9ff6f457-pc6d8 uwo
[8]ページ先頭
©2009-2025 Movatter.jp