BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × France
1 × Hungary
2 × USA
Collaborated with:
M.Yamamoto J.Köbler M.Ogiwara R.V.Book P.Orponen D.A.Russo
Talks about:
set (2) exponenti (1) polynomi (1) problem (1) consequ (1) collaps (1) circuit (1) analysi (1) averag (1) truth (1)

Person: Osamu Watanabe

DBLP DBLP: Watanabe:Osamu

Contributed to:

SAT 20062006
ICALP 19951995
STOC 19901990
ICALP 19861986

Wrote 4 papers:

SAT-2006-WatanabeY #analysis #problem #satisfiability
Average-Case Analysis for the MAX-2SAT Problem (OW, MY), pp. 277–282.
New Collapse Consequences of NP Having Small Circuits (JK, OW), pp. 196–207.
STOC-1990-OgiwaraW #bound #on the #polynomial #set
On Polynomial Time Bounded Truth-Table Reducibility of NP Sets to Sparse Sets (MO, OW), pp. 457–467.
ICALP-1986-BookORW #exponential #on the
On Exponential Lowness (RVB, PO, DAR, OW), pp. 40–49.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.