Hans Kleine Büning

◀ ▶ joint publications with Piotr Wojciechowski 0002

> Home > Persons > Hans Kleine Büning

Publications

2020
[j47]
- view
  authority control:
- export record
  dblp key:
  - journals/mscs/BuningWS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/BuningWS20
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability. Math. Struct. Comput. Sci. 30(7): 736-751 (2020)
2019
[c55]
- view
  authority control:
- export record
  dblp key:
  - conf/faw/BuningWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/faw/BuningWS19
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
Read-Once Resolutions in Horn Formulas. FAW 2019: 100-110
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/frocos/BuningWCS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/frocos/BuningWCS19
Hans Kleine Büning, Piotr Wojciechowski, R. Chandrasekaran, K. Subramani:
Restricted Cutting Plane Proofs in Horn Constraint Systems. FroCos 2019: 149-164
[c53]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/fsttcs/BuningWS19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fsttcs/BuningWS19
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
New Results on Cutting Plane Proofs for Horn Constraint Systems. FSTTCS 2019: 43:1-43:14
2018
[j46]
- view
  authority control:
- export record
  dblp key:
  - journals/tcs/BuningWS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/BuningWS18
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
Finding read-once resolution refutations in systems of 2CNF clauses. Theor. Comput. Sci. 729: 42-56 (2018)
2017
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/icla/BuningWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icla/BuningWS17
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
The Complexity of Finding Read-Once NAE-Resolution Refutations. ICLA 2017: 64-76
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/tamc/BuningWS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tamc/BuningWS17
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
On the Computational Complexity of Read once Resolution Decidability in 2CNF Formulas. TAMC 2017: 362-372
2016
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/BuningWS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/BuningWS16
Hans Kleine Büning, Piotr Wojciechowski, K. Subramani:
On the computational complexity of read once resolution decidability in 2CNF formulas. CoRR abs/1610.04523 (2016)

a service of

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.