default search action

combined dblp search
author search
venue search
publication search

ask others

Bernd R. Schuh

> Home > Persons

Person information

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

2020 – today

see FAQ

What is the meaning of the colors in the publication lists?

2020
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-2010-02922
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2010-02922
Bernd R. Schuh:
Balanced incomplete block designs and exact satisfiability. CoRR abs/2010.02922 (2020)

2010 – 2019

see FAQ

What is the meaning of the colors in the publication lists?

2018
[j1]
- view
  authority control:
- export record
  dblp key:
  - journals/dam/Schuh18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/Schuh18
Bernd R. Schuh:
Exact satisfiability of linear CNF formulas. Discret. Appl. Math. 251: 1-4 (2018)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1803-07376
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1803-07376
Bernd R. Schuh:
Sub-exponential Upper Bound for #XSAT of some CNF Classes. CoRR abs/1803.07376 (2018)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1812-09110
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-09110
Bernd R. Schuh:
Sub-exponential complexity of regular linear CNF formulas. CoRR abs/1812.09110 (2018)
2017
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Schuh17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schuh17
Bernd R. Schuh:
Polynomial time estimates for #SAT. CoRR abs/1705.05452 (2017)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Schuh17aa
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schuh17aa
Bernd R. Schuh:
A criterion for "easiness" of certain SAT problems. CoRR abs/1707.00118 (2017)
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1711-07474
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1711-07474
Bernd R. Schuh:
XSAT of Exact Linear CNF Classes. CoRR abs/1711.07474 (2017)
2014
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Schuh14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schuh14
Bernd R. Schuh:
SAT for pedestrians. CoRR abs/1408.3286 (2014)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/Schuh14a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/Schuh14a
Bernd R. Schuh:
Easy/Hard Transition in k-SAT. CoRR abs/1411.2901 (2014)
2012
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1204-1656
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-1656
Bernd R. Schuh:
Phase Transition in Unrestricted Random SAT. CoRR abs/1204.1656 (2012)
2010
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-1001-3263
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-3263
Bernd R. Schuh:
A Real World Mechanism for Testing Satisfiability in Polynomial Time. CoRR abs/1001.3263 (2010)

2000 – 2009

see FAQ

What is the meaning of the colors in the publication lists?

2009
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - details & citations
- export record
  dblp key:
  - journals/corr/abs-0911-1677
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0911-1677
Bernd R. Schuh:
Logical Primes, Metavariables and Satisfiability. CoRR abs/0911.1677 (2009)

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.