Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Hans Kleine Büning

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 K. Subramani 0001

> 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)
2007
[j37]
- view
  authority control:
- export record
  dblp key:
  - journals/jar/BuningSZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jar/BuningSZ07
Hans Kleine Büning, K. Subramani, Xishun Zhao:
Boolean Functions as Models for Quantified Boolean Formulas. J. Autom. Reason. 39(1): 49-75 (2007)
2003
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/BuningSZ03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/BuningSZ03
Hans Kleine Büning, K. Subramani, Xishun Zhao:
On Boolean Models for Quantified Boolean Horn Formulas. SAT 2003: 93-104

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.