Friedrich Slivovsky

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 Leroy Chew

> Home > Persons > Friedrich Slivovsky

Publications

2024
[j10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/ChewS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/ChewS24
Leroy Chew, Friedrich Slivovsky:
Towards Uniform Certification in QBF. Log. Methods Comput. Sci. 20(1) (2024)
[c32]
- view
  - electronic edition via DOI (open access)
  - references & 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
[i12]
- view
  - electronic edition via DOI (open access)
  - references & 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
[d1]
- view
  - electronic edition via DOI (open access)
  - references & 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
[c25]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/ChewS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/ChewS22
Leroy Chew, Friedrich Slivovsky:
Towards Uniform Certification in QBF. STACS 2022: 22:1-22:23
[i10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2210-07085
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2210-07085
Leroy Chew, Friedrich Slivovsky:
Towards Uniform Certification in QBF. CoRR abs/2210.07085 (2022)
2021
[i6]
- view
  - electronic edition @ weizmann.ac.il (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eccc/ChewS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eccc/ChewS21
Leroy Chew, Friedrich Slivovsky:
Towards Uniform Certification in QBF. Electron. Colloquium Comput. Complex. TR21 (2021)

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.