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 Friedrich Slivovsky

> Home > Persons > Stefan Szeider

Publications

2024
[c163]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ChewCSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ChewCSS24
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider:
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. AAAI 2024: 7978-7986
[c151]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/sat/ReichlSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ReichlSS24
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
eSLIM: Circuit Minimization with SAT Based Local Improvement. SAT 2024: 23:1-23:14
[d21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/11/ReichlSS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/11/ReichlSS24
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
eSLIM. DROPS Artifacts, 2024
[i82]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2402-00542
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2402-00542
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider:
Hardness of Random Reordered Encodings of Parity for Resolution and CDCL. CoRR abs/2402.00542 (2024)
2023
[c149]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/aaai/ReichlSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaai/ReichlSS23
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Circuit Minimization with QBF-Based Exact Synthesis. AAAI 2023: 4087-4094
[d18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - data/10/ChewCSS23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/data/10/ChewCSS23
Leroy Chew, Alexis de Colnet, Friedrich Slivovsky, Stefan Szeider:
Dataset of Random Reordered Encodings of Parity Problems. Zenodo, 2023
2022
[j77]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/Ganian0SS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/Ganian0SS22
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider:
Sum-of-Products with Default Values: Algorithms and Complexity Results. J. Artif. Intell. Res. 73: 535-552 (2022)
2021
[c119]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ReichlSS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ReichlSS21
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Certified DQBF Solving by Definition Extraction. SAT 2021: 499-517
[i67]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2106-02550
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2106-02550
Franz-Xaver Reichl, Friedrich Slivovsky, Stefan Szeider:
Certified DQBF Solving by Definition Extraction. CoRR abs/2106.02550 (2021)
2020
[c111]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/kr/GanianPSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/kr/GanianPSS20
Robert Ganian, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Fixed-Parameter Tractability of Dependency QBF with Structural Parameters. KR 2020: 392-402
[c109]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SlivovskyS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SlivovskyS20
Friedrich Slivovsky, Stefan Szeider:
A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth. SAT 2020: 267-276
[c108]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/ShuklaSS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/ShuklaSS20
Ankit Shukla, Friedrich Slivovsky, Stefan Szeider:
Short Q-Resolution Proofs with Homomorphisms. SAT 2020: 412-428
2019
[j69]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jair/PeitlSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jair/PeitlSS19
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Dependency Learning for QBF. J. Artif. Intell. Res. 65: 180-208 (2019)
[j68]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jar/PeitlSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/PeitlSS19
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Long-Distance Q-Resolution with Dependency Schemes. J. Autom. Reason. 63(1): 127-155 (2019)
[j67]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jsat/PeitlSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsat/PeitlSS19
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Qute in the QBF Evaluation 2018. J. Satisf. Boolean Model. Comput. 11(1): 261-272 (2019)
[c104]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS19
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Combining Resolution-Path Dependencies with Dependency Learning. SAT 2019: 306-318
[c103]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS19a
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Proof Complexity of Fragments of Long-Distance Q-Resolution. SAT 2019: 319-335
2018
[c101]
- view
  authority control:
- export record
  dblp key:
  - conf/cp/HoosPSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cp/HoosPSS18
Holger H. Hoos, Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Portfolio-Based Algorithm Selection for Circuit QBFs. CP 2018: 195-209
[c99]
- view
  authority control:
- export record
  dblp key:
  - conf/ictai/Ganian0SS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ictai/Ganian0SS18
Robert Ganian, Eun Jung Kim, Friedrich Slivovsky, Stefan Szeider:
Sum-of-Products with Default Values: Algorithms and Complexity Results. ICTAI 2018: 733-737
[c98]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS18
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Polynomial-Time Validation of QCDCL Certificates. SAT 2018: 253-269
2017
[c91]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS17
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Dependency Learning for QBF. SAT 2017: 298-313
2016
[j57]
- view
  authority control:
- export record
  dblp key:
  - journals/algorithmica/PaulusmaSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithmica/PaulusmaSS16
Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider:
Model Counting for CNF Formulas of Bounded Modular Treewidth. Algorithmica 76(1): 168-194 (2016)
[j56]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/SlivovskyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/SlivovskyS16
Friedrich Slivovsky, Stefan Szeider:
Quantifier Reordering for QBF. J. Autom. Reason. 56(4): 459-477 (2016)
[j55]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/jcss/GanianSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jcss/GanianSS16
Robert Ganian, Friedrich Slivovsky, Stefan Szeider:
Meta-kernelization with structural parameters. J. Comput. Syst. Sci. 82(2): 333-346 (2016)
[j54]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/SlivovskyS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/SlivovskyS16
Friedrich Slivovsky, Stefan Szeider:
Soundness of Q-resolution with dependency schemes. Theor. Comput. Sci. 612: 83-101 (2016)
[c82]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/PeitlSS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/PeitlSS16
Tomás Peitl, Friedrich Slivovsky, Stefan Szeider:
Long Distance Q-Resolution with Dependency Schemes. SAT 2016: 500-518
2014
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SlivovskyS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SlivovskyS14
Friedrich Slivovsky, Stefan Szeider:
Variable Dependencies and Q-Resolution. SAT 2014: 269-284
[i45]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/SlivovskyS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/SlivovskyS14
Friedrich Slivovsky, Stefan Szeider:
Model Counting for Formulas of Bounded Clique-Width. CoRR abs/1409.8464 (2014)
2013
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/isaac/SlivovskyS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/isaac/SlivovskyS13
Friedrich Slivovsky, Stefan Szeider:
Model Counting for Formulas of Bounded Clique-Width. ISAAC 2013: 677-687
[c57]
- view
  authority control:
- export record
  dblp key:
  - conf/mfcs/GanianSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mfcs/GanianSS13
Robert Ganian, Friedrich Slivovsky, Stefan Szeider:
Meta-kernelization with Structural Parameters. MFCS 2013: 457-468
[c52]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/PaulusmaSS13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/PaulusmaSS13
Daniël Paulusma, Friedrich Slivovsky, Stefan Szeider:
Model Counting for CNF Formulas of Bounded Modular Treewidth. STACS 2013: 55-66
[i42]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1303-1786
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1303-1786
Robert Ganian, Friedrich Slivovsky, Stefan Szeider:
Meta-Kernelization with Structural Parameters. CoRR abs/1303.1786 (2013)
2012
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/SlivovskyS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/SlivovskyS12
Friedrich Slivovsky, Stefan Szeider:
Computing Resolution-Path Dependencies in Linear Time , . SAT 2012: 58-71
[i32]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1202-3097
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1202-3097
Friedrich Slivovsky, Stefan Szeider:
Computing Resolution-Path Dependencies in Linear Time. CoRR abs/1202.3097 (2012)

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.