default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan Szeider

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Johannes Klaus Fichte

> Home > Persons > Stefan Szeider

Publications

2023
[j83]
- view
  authority control:
- export record
  dblp key:
  - journals/cacm/FichteBHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/cacm/FichteBHS23
Johannes Klaus Fichte, Daniel Le Berre, Markus Hecher, Stefan Szeider:
The Silent (R)evolution of SAT. Commun. ACM 66(6): 64-72 (2023)
[c148]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FichteHS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FichteHS23
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
Inconsistent Cores for ASP: The Perks and Perils of Non-monotonicity. AAAI 2023: 6363-6371
2020
[c116]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHS20
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
A Time Leap Challenge for SAT-Solving. CP 2020: 267-285
[c115]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHS20a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHS20a
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
Breaking Symmetries with RootClique and LexTopSort. CP 2020: 286-303
[i64]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-02215
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02215
Johannes Klaus Fichte, Markus Hecher, Stefan Szeider:
A Time Leap Challenge for SAT Solving. CoRR abs/2008.02215 (2020)
2018
[c102]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/FichteHLS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/FichteHLS18
Johannes Klaus Fichte, Markus Hecher, Neha Lodha, Stefan Szeider:
An SMT Approach to Fractional Hypertree Width. CP 2018: 109-127
2017
[c95]
- view
  - electronic edition @ ceur-ws.org (open access)
  - details & citations
- export record
  dblp key:
  - conf/lpnmr/FichteS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lpnmr/FichteS17
Johannes Klaus Fichte, Stefan Szeider:
Backdoor Trees for Answer Set Programming. ASPOCP@LPNMR 2017
[c90]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/FichteLS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/FichteLS17
Johannes Klaus Fichte, Neha Lodha, Stefan Szeider:
SAT-Based Local Improvement for Finding Tree Decompositions of Small Width. SAT 2017: 401-411
2015
[j51]
- view
  authority control:
- export record
  dblp key:
  - journals/ai/FichteS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/ai/FichteS15
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to tractable answer set programming. Artif. Intell. 220: 64-103 (2015)
[j44]
- view
  authority control:
- export record
  dblp key:
  - journals/tocl/FichteS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tocl/FichteS15
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Normality for Disjunctive Logic Programs. ACM Trans. Comput. Log. 17(1): 7 (2015)
2013
[c64]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/FichteS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/FichteS13
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Normality for Disjunctive Logic Programs. AAAI 2013: 320-327
[i43]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1301-1391
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1301-1391
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Normality for Disjunctive Logic Programs. CoRR abs/1301.1391 (2013)
2011
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/ijcai/FichteS11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/FichteS11
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Tractable Answer-Set Programming. IJCAI 2011: 863-868
[i22]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1104-2788
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1104-2788
Johannes Klaus Fichte, Stefan Szeider:
Backdoors to Tractable Answer-Set Programming. CoRR abs/1104.2788 (2011)

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.