default search action

combined dblp search
author search
venue search
publication search

ask others

Stefan S. Dantchev

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 Nicola Galesi

> Home > Persons > Stefan S. Dantchev

Publications

2024
[j18]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/DantchevGGM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/DantchevGGM24
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Depth lower bounds in Stabbing Planes for combinatorial principles. Log. Methods Comput. Sci. 20(1) (2024)
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/siamcomp/DantchevGGM24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/siamcomp/DantchevGGM24
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Proof Complexity and the Binary Encoding of Combinatorial Principles. SIAM J. Comput. 53(3): 764-802 (2024)
2022
[c21]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/DantchevGGM22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/DantchevGGM22
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Depth Lower Bounds in Stabbing Planes for Combinatorial Principles. STACS 2022: 24:1-24:18
2021
[i13]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2102-07622
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2102-07622
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Depth lower bounds in Stabbing Planes for combinatorial principles. CoRR abs/2102.07622 (2021)
[i12]
- view
  - electronic edition @ weizmann.ac.il (open access)
  - details & citations
- export record
  dblp key:
  - journals/eccc/DantchevGGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eccc/DantchevGGM21
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Depth lower bounds in Stabbing Planes for combinatorial principles. Electron. Colloquium Comput. Complex. TR21 (2021)
2020
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2008-02138
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2008-02138
Stefan S. Dantchev, Nicola Galesi, Abdul Ghani, Barnaby Martin:
Proof complexity and the binary encoding of combinatorial principles. CoRR abs/2008.02138 (2020)
2019
[c19]
- view
  - electronic edition via DOI (open access)
  - details & citations
  authority control:
- export record
  dblp key:
  - conf/coco/DantchevGM19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/coco/DantchevGM19
Stefan S. Dantchev, Nicola Galesi, Barnaby Martin:
Resolution and the Binary Encoding of Combinatorial Principles. CCC 2019: 6:1-6:25
2018
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1809-02843
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-02843
Stefan S. Dantchev, Nicola Galesi, Barnaby Martin:
Resolution and the binary encoding of combinatorial principles. CoRR abs/1809.02843 (2018)
[i7]
- view
  - electronic edition @ weizmann.ac.il (open access)
  - details & citations
- export record
  dblp key:
  - journals/eccc/DantchevGM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eccc/DantchevGM18
Stefan S. Dantchev, Nicola Galesi, Barnaby Martin:
Resolution and the binary encoding of combinatorial principles. Electron. Colloquium Comput. Complex. TR18 (2018)

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.