Stop the war!

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

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Masaki Yamamoto 0001

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 Kazuhisa Makino

> Home > Persons > Masaki Yamamoto 0001

Publications

2013
[j11]
- view
  authority control:
- export record
  dblp key:
  - journals/algorithmica/MakinoTY13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/algorithmica/MakinoTY13
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
Derandomizing the HSSW Algorithm for 3-SAT. Algorithmica 67(2): 112-124 (2013)
2011
[j5]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/MakinoTY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/MakinoTY11
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
An exact algorithm for the Boolean connectivity problem for k-CNF. Theor. Comput. Sci. 412(35): 4613-4618 (2011)
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/cocoon/MakinoTY11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cocoon/MakinoTY11
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
Derandomizing HSSW Algorithm for 3-SAT. COCOON 2011: 1-12
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1102-3766
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1102-3766
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
Derandomizing HSSW Algorithm for 3-SAT. CoRR abs/1102.3766 (2011)
2010
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dam/MakinoTY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dam/MakinoTY10
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
On the Boolean connectivity problem for Horn relations. Discret. Appl. Math. 158(18): 2024-2030 (2010)
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MakinoTY10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MakinoTY10
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
An Exact Algorithm for the Boolean Connectivity Problem for k-CNF. SAT 2010: 172-180
2007
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sat/MakinoTY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sat/MakinoTY07
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
On the Boolean Connectivity Problem for Horn Relations. SAT 2007: 187-200
[i2]
- view
  - electronic edition @ weizmann.ac.il (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/eccc/MakinoTY07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eccc/MakinoTY07
Kazuhisa Makino, Suguru Tamaki, Masaki Yamamoto:
A Dichotomy Theorem within Schaefer for the Boolean Connectivity Problem. Electron. Colloquium Comput. Complex. TR07 (2007)

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.