Travelled to:
1 × Austria
1 × Canada
1 × Iceland
1 × Latvia
1 × Portugal
1 × The Netherlands
1 × United Kingdom
2 × Greece
2 × Switzerland
2 × USA
Collaborated with:
E.Boros K.M.Elbassioni V.Gurvich T.Eiter S.Tamaki M.Yamamoto L.Khachiyan N.Kakimura G.Gottlob D.Nanongkai A.Lall A.D.Sarma M.Fouz B.Manthey B.Randerath E.Speckenmeyer P.L.Hammer A.Kogan B.Simeone O.Cepek
Talks about:
problem (5) generat (5) monoton (4) algorithm (3) boolean (3) hypergraph (2) transvers (2) stochast (2) multipl (2) connect (2)
Person: Kazuhisa Makino
DBLP: Makino:Kazuhisa
Contributed to:
Wrote 14 papers:
- ICALP-v1-2013-BorosEGM #algorithm #game studies #probability #pseudo #random
- A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with Perfect Information and a Few Random Positions (EB, KME, VG, KM), pp. 220–231.
- SIGMOD-2012-NanongkaiLSM #interactive
- Interactive regret minimization (DN, AL, ADS, KM), pp. 109–120.
- ICALP-v1-2011-BorosEFGMM #analysis #approximate #game studies #probability
- Stochastic Mean Payoff Games: Smoothed Analysis and Approximation Schemes (EB, KME, MF, VG, KM, BM), pp. 147–158.
- ICALP-v1-2011-KakimuraM #independence #robust
- Robust Independence Systems (NK, KM), pp. 367–378.
- SAT-2010-MakinoTY #algorithm #problem
- An Exact Algorithm for the Boolean Connectivity Problem for k-CNF (KM, ST, MY), pp. 172–180.
- ICALP-v1-2009-BorosM #algorithm #parallel #performance #problem
- A Fast and Simple Parallel Algorithm for the Monotone Duality Problem (EB, KM), pp. 183–194.
- ICALP-A-2008-BorosEM #multi #on the
- On Berge Multiplication for Monotone Boolean Dualization (EB, KME, KM), pp. 48–59.
- SAT-2007-MakinoTY #on the #problem
- On the Boolean Connectivity Problem for Horn Relations (KM, ST, MY), pp. 187–200.
- CSL-2003-EiterM #abduction #generative #query
- Generating All Abductive Explanations for Queries on Propositional Horn Theories (TE, KM), pp. 197–211.
- ICALP-2003-BorosEGKM #difference #generative #problem
- An Intersection Inequality for Discrete Distributions and Related Generation Problems (EB, KME, VG, LK, KM), pp. 543–555.
- STOC-2002-EiterGM #generative
- New results on monotone dualization and generating hypergraph transversals (TE, GG, KM), pp. 14–22.
- ICALP-2001-BorosEGKM #generative #integer #linear #on the
- On Generating All Minimal Integer Solutions for a Monotone System of Linear Inequalities (EB, KME, VG, LK, KM), pp. 92–103.
- SAT-2001-RanderathSBHKMSC #graph #problem #satisfiability
- A Satisfiability Formulation of Problems on Level Graphs (BR, ES, EB, PLH, AK, KM, BS, OC), pp. 269–277.
- ICALP-2000-BorosGKM #generative #multi
- Generating Partial and Multiple Transversals of a Hypergraph (EB, VG, LK, KM), pp. 588–599.