Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kazuhisa Makino
@article{DBLP:journals/jcta/BercziBM24,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Kazuhisa Makino},
title = {Matroid Horn functions},
journal = {J. Comb. Theory, Ser. {A}},
volume = {203},
pages = {105838},
year = {2024},
url = {https://doi.org/10.1016/j.jcta.2023.105838},
doi = {10.1016/J.JCTA.2023.105838},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcta/BercziBM24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/KawaseMSTY24,
author = {Yasushi Kawase and
Kazuhisa Makino and
Hanna Sumita and
Akihisa Tamura and
Makoto Yokoo},
editor = {Michael J. Wooldridge and
Jennifer G. Dy and
Sriraam Natarajan},
title = {Towards Optimal Subsidy Bounds for Envy-Freeable Allocations},
booktitle = {Thirty-Eighth {AAAI} Conference on Artificial Intelligence, {AAAI}
2024, Thirty-Sixth Conference on Innovative Applications of Artificial
Intelligence, {IAAI} 2024, Fourteenth Symposium on Educational Advances
in Artificial Intelligence, {EAAI} 2014, February 20-27, 2024, Vancouver,
Canada},
pages = {9824--9831},
publisher = {{AAAI} Press},
year = {2024},
url = {https://doi.org/10.1609/aaai.v38i9.28842},
doi = {10.1609/AAAI.V38I9.28842},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aaai/KawaseMSTY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KavithaMSY24,
author = {Telikepalli Kavitha and
Kazuhisa Makino and
Ildik{\'{o}} Schlotter and
Yu Yokoi},
editor = {David P. Woodruff},
title = {Arborescences, Colorful Forests, and Popularity},
booktitle = {Proceedings of the 2024 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2024, Alexandria, VA, USA, January 7-10, 2024},
pages = {3724--3746},
publisher = {{SIAM}},
year = {2024},
url = {https://doi.org/10.1137/1.9781611977912.131},
doi = {10.1137/1.9781611977912.131},
timestamp = {Thu, 04 Apr 2024 19:38:10 +0200},
biburl = {https://dblp.org/rec/conf/soda/KavithaMSY24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2401-06405,
author = {Kei Kimura and
Kazuhisa Makino and
Shota Yamada and
Ryo Yoshizumi},
title = {Characterizing the integer points in 2-decomposable polyhedra by closedness
under operations},
journal = {CoRR},
volume = {abs/2401.06405},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2401.06405},
doi = {10.48550/ARXIV.2401.06405},
eprinttype = {arXiv},
eprint = {2401.06405},
timestamp = {Thu, 25 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2401-06405.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-10451,
author = {Susumu Kubo and
Kazuhisa Makino and
Souta Sakamoto},
title = {Composition Orderings for Linear Functions and Matrix Multiplication
Orderings},
journal = {CoRR},
volume = {abs/2402.10451},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2402.10451},
doi = {10.48550/ARXIV.2402.10451},
eprinttype = {arXiv},
eprint = {2402.10451},
timestamp = {Mon, 26 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2402-10451.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/IshiiKKM23,
author = {Toshimasa Ishii and
Akitoshi Kawamura and
Yusuke Kobayashi and
Kazuhisa Makino},
title = {Trade-offs among degree, diameter, and number of paths},
journal = {Discret. Appl. Math.},
volume = {327},
pages = {96--100},
year = {2023},
url = {https://doi.org/10.1016/j.dam.2022.12.007},
doi = {10.1016/J.DAM.2022.12.007},
timestamp = {Tue, 31 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/IshiiKKM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcbb/HayamizuM23,
author = {Momoko Hayamizu and
Kazuhisa Makino},
title = {Ranking Top-{\textdollar}k{\textdollar} Trees in Tree-Based Phylogenetic
Networks},
journal = {{IEEE} {ACM} Trans. Comput. Biol. Bioinform.},
volume = {20},
number = {3},
pages = {2349--2355},
year = {2023},
url = {https://doi.org/10.1109/TCBB.2022.3229827},
doi = {10.1109/TCBB.2022.3229827},
timestamp = {Thu, 27 Jul 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcbb/HayamizuM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KavithaM23,
author = {Telikepalli Kavitha and
Kazuhisa Makino},
editor = {Patricia Bouyer and
Srikanth Srinivasan},
title = {Perfect Matchings and Popularity in the Many-To-Many Setting},
booktitle = {43rd {IARCS} Annual Conference on Foundations of Software Technology
and Theoretical Computer Science, {FSTTCS} 2023, December 18-20, 2023,
{IIIT} Hyderabad, Telangana, India},
series = {LIPIcs},
volume = {284},
pages = {43:1--43:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.FSTTCS.2023.43},
doi = {10.4230/LIPICS.FSTTCS.2023.43},
timestamp = {Wed, 13 Dec 2023 14:08:06 +0100},
biburl = {https://dblp.org/rec/conf/fsttcs/KavithaM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KimuraM23,
author = {Kei Kimura and
Kazuhisa Makino},
editor = {Satoru Iwata and
Naonori Kakimura},
title = {A Combinatorial Certifying Algorithm for Linear Programming Problems
with Gainfree Leontief Substitution Systems},
booktitle = {34th International Symposium on Algorithms and Computation, {ISAAC}
2023, December 3-6, 2023, Kyoto, Japan},
series = {LIPIcs},
volume = {283},
pages = {47:1--47:17},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2023},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2023.47},
doi = {10.4230/LIPICS.ISAAC.2023.47},
timestamp = {Tue, 28 Nov 2023 13:12:50 +0100},
biburl = {https://dblp.org/rec/conf/isaac/KimuraM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/HirayamaLMSX23,
author = {Tsuyoshi Hirayama and
Yuhao Liu and
Kazuhisa Makino and
Ke Shi and
Chao Xu},
editor = {Nikhil Bansal and
Viswanath Nagarajan},
title = {A Polynomial Time Algorithm for Finding a Minimum 4-Partition of a
Submodular Function},
booktitle = {Proceedings of the 2023 {ACM-SIAM} Symposium on Discrete Algorithms,
{SODA} 2023, Florence, Italy, January 22-25, 2023},
pages = {1680--1691},
publisher = {{SIAM}},
year = {2023},
url = {https://doi.org/10.1137/1.9781611977554.ch64},
doi = {10.1137/1.9781611977554.CH64},
timestamp = {Thu, 17 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/soda/HirayamaLMSX23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-05461,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Kazuhisa Makino},
title = {Hypergraph Horn functions},
journal = {CoRR},
volume = {abs/2301.05461},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.05461},
doi = {10.48550/ARXIV.2301.05461},
eprinttype = {arXiv},
eprint = {2301.05461},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-05461.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06642,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Kazuhisa Makino},
title = {Matroid Horn functions},
journal = {CoRR},
volume = {abs/2301.06642},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06642},
doi = {10.48550/ARXIV.2301.06642},
eprinttype = {arXiv},
eprint = {2301.06642},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06642.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2306-03368,
author = {Kei Kimura and
Kazuhisa Makino},
title = {A Combinatorial Certifying Algorithm for Linear Programming Problems
with Gainfree Leontief Substitution Systems},
journal = {CoRR},
volume = {abs/2306.03368},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2306.03368},
doi = {10.48550/ARXIV.2306.03368},
eprinttype = {arXiv},
eprint = {2306.03368},
timestamp = {Tue, 13 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2306-03368.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-11230,
author = {Yasushi Kawase and
Kazuhisa Makino and
Hanna Sumita and
Akihisa Tamura and
Makoto Yokoo},
title = {Towards Optimal Subsidy Bounds for Envy-freeable Allocations},
journal = {CoRR},
volume = {abs/2308.11230},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.11230},
doi = {10.48550/ARXIV.2308.11230},
eprinttype = {arXiv},
eprint = {2308.11230},
timestamp = {Wed, 30 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-11230.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2310-19455,
author = {Telikepalli Kavitha and
Kazuhisa Makino and
Ildik{\'{o}} Schlotter and
Yu Yokoi},
title = {Arborescences, Colorful Forests, and Popularity},
journal = {CoRR},
volume = {abs/2310.19455},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2310.19455},
doi = {10.48550/ARXIV.2310.19455},
eprinttype = {arXiv},
eprint = {2310.19455},
timestamp = {Thu, 02 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2310-19455.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-02685,
author = {Endre Boros and
Vladimir Gurvich and
Kazuhisa Makino and
Michael N. Vyalyi},
title = {Computing Remoteness Functions of Moore, Wythoff, and Euclid's games},
journal = {CoRR},
volume = {abs/2311.02685},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.02685},
doi = {10.48550/ARXIV.2311.02685},
eprinttype = {arXiv},
eprint = {2311.02685},
timestamp = {Wed, 08 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-02685.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/HalldorssonIMT22,
author = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Toshimasa Ishii and
Kazuhisa Makino and
Kenjiro Takazawa},
title = {Posimodular Function Optimization},
journal = {Algorithmica},
volume = {84},
number = {4},
pages = {1107--1131},
year = {2022},
url = {https://doi.org/10.1007/s00453-021-00910-y},
doi = {10.1007/S00453-021-00910-Y},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/HalldorssonIMT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/FujishigeKMTT22,
author = {Satoru Fujishige and
Tam{\'{a}}s Kir{\'{a}}ly and
Kazuhisa Makino and
Kenjiro Takazawa and
Shin{-}ichi Tanigawa},
title = {Minimizing submodular functions on diamonds via generalized fractional
matroid matchings},
journal = {J. Comb. Theory, Ser. {B}},
volume = {157},
pages = {294--345},
year = {2022},
url = {https://doi.org/10.1016/j.jctb.2022.07.005},
doi = {10.1016/J.JCTB.2022.07.005},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jctb/FujishigeKMTT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BercziBCKM22,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Petr Kucera and
Kazuhisa Makino},
title = {Approximating Minimum Representations of Key Horn Functions},
journal = {{SIAM} J. Comput.},
volume = {51},
number = {1},
pages = {116--138},
year = {2022},
url = {https://doi.org/10.1137/19m1275681},
doi = {10.1137/19M1275681},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BercziBCKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamjo/ElbassioniMN22,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Waleed Najy},
title = {Finding Sparse Solutions for Packing and Covering Semidefinite Programs},
journal = {{SIAM} J. Optim.},
volume = {32},
number = {2},
pages = {321--353},
year = {2022},
url = {https://doi.org/10.1137/20m137570x},
doi = {10.1137/20M137570X},
timestamp = {Mon, 25 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamjo/ElbassioniMN22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BercziBCKM22,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Petr Kucera and
Kazuhisa Makino},
title = {Unique key Horn functions},
journal = {Theor. Comput. Sci.},
volume = {922},
pages = {170--178},
year = {2022},
url = {https://doi.org/10.1016/j.tcs.2022.04.022},
doi = {10.1016/J.TCS.2022.04.022},
timestamp = {Wed, 27 Jul 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BercziBCKM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/GokoIKMSTYY22,
author = {Hiromichi Goko and
Ayumi Igarashi and
Yasushi Kawase and
Kazuhisa Makino and
Hanna Sumita and
Akihisa Tamura and
Yu Yokoi and
Makoto Yokoo},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Fair and Truthful Mechanism with Limited Subsidy},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {534--542},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p534.pdf},
doi = {10.5555/3535850.3535911},
timestamp = {Tue, 11 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/GokoIKMSTYY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/IshiiKMO22,
author = {Toshimasa Ishii and
Jun Kawahara and
Kazuhisa Makino and
Hirotaka Ono},
editor = {Yong Zhang and
Dongjing Miao and
Rolf H. M{\"{o}}hring},
title = {Reallocation Problems with Minimum Completion Time},
booktitle = {Computing and Combinatorics - 28th International Conference, {COCOON}
2022, Shenzhen, China, October 22-24, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13595},
pages = {292--304},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-22105-7\_26},
doi = {10.1007/978-3-031-22105-7\_26},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocoon/IshiiKMO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/AmanoIKMO22,
author = {Yuki Amano and
Ayumi Igarashi and
Yasushi Kawase and
Kazuhisa Makino and
Hirotaka Ono},
editor = {Panagiotis Kanellopoulos and
Maria Kyropoulou and
Alexandros A. Voudouris},
title = {Fair Ride Allocation on a Line},
booktitle = {Algorithmic Game Theory - 15th International Symposium, {SAGT} 2022,
Colchester, UK, September 12-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13584},
pages = {421--435},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15714-1\_24},
doi = {10.1007/978-3-031-15714-1\_24},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sagt/AmanoIKMO22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sagt/MakinoMY22,
author = {Kazuhisa Makino and
Shuichi Miyazaki and
Yu Yokoi},
editor = {Panagiotis Kanellopoulos and
Maria Kyropoulou and
Alexandros A. Voudouris},
title = {Incomplete List Setting of the Hospitals/Residents Problem with Maximally
Satisfying Lower Quotas},
booktitle = {Algorithmic Game Theory - 15th International Symposium, {SAGT} 2022,
Colchester, UK, September 12-15, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13584},
pages = {544--561},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-15714-1\_31},
doi = {10.1007/978-3-031-15714-1\_31},
timestamp = {Thu, 22 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/sagt/MakinoMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GokoMMY22,
author = {Hiromichi Goko and
Kazuhisa Makino and
Shuichi Miyazaki and
Yu Yokoi},
editor = {Petra Berenbrink and
Benjamin Monmege},
title = {Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem
with Ties},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
series = {LIPIcs},
volume = {219},
pages = {31:1--31:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.31},
doi = {10.4230/LIPICS.STACS.2022.31},
timestamp = {Sat, 12 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GokoMMY22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GokoKKMS22,
author = {Hiromichi Goko and
Akitoshi Kawamura and
Yasushi Kawase and
Kazuhisa Makino and
Hanna Sumita},
editor = {Petra Berenbrink and
Benjamin Monmege},
title = {Online Scheduling on Identical Machines with a Metric State Space},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
series = {LIPIcs},
volume = {219},
pages = {32:1--32:21},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.32},
doi = {10.4230/LIPICS.STACS.2022.32},
timestamp = {Sat, 12 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stacs/GokoKKMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tamc/AmanoM22,
author = {Yuki Amano and
Kazuhisa Makino},
editor = {Ding{-}Zhu Du and
Donglei Du and
Chenchen Wu and
Dachuan Xu},
title = {A 3/4 Differential Approximation Algorithm for Traveling Salesman
Problem},
booktitle = {Theory and Applications of Models of Computation - 17th Annual Conference,
{TAMC} 2022, Tianjin, China, September 16-18, 2022, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13571},
pages = {237--248},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-20350-3\_19},
doi = {10.1007/978-3-031-20350-3\_19},
timestamp = {Mon, 09 Jan 2023 17:58:31 +0100},
biburl = {https://dblp.org/rec/conf/tamc/AmanoM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-06660,
author = {Kazuhisa Makino and
Shuichi Miyazaki and
Yu Yokoi},
title = {Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem
with Ties and Incomplete Lists},
journal = {CoRR},
volume = {abs/2203.06660},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.06660},
doi = {10.48550/ARXIV.2203.06660},
eprinttype = {arXiv},
eprint = {2203.06660},
timestamp = {Wed, 16 Mar 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-06660.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KawaseKMS21,
author = {Yasushi Kawase and
Kei Kimura and
Kazuhisa Makino and
Hanna Sumita},
title = {Optimal Matroid Partitioning Problems},
journal = {Algorithmica},
volume = {83},
number = {6},
pages = {1653--1676},
year = {2021},
url = {https://doi.org/10.1007/s00453-021-00797-9},
doi = {10.1007/S00453-021-00797-9},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KawaseKMS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/BorosGHM21,
author = {Endre Boros and
Vladimir Gurvich and
Nhan Bao Ho and
Kazuhisa Makino},
title = {On the Sprague-Grundy function of extensions of proper Nim},
journal = {Int. J. Game Theory},
volume = {50},
number = {3},
pages = {635--654},
year = {2021},
url = {https://doi.org/10.1007/s00182-020-00707-3},
doi = {10.1007/S00182-020-00707-3},
timestamp = {Fri, 24 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/BorosGHM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BercziBCEKM21,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Khaled M. Elbassioni and
Petr Kucera and
Kazuhisa Makino},
title = {Generating clause sequences of a {CNF} formula},
journal = {Theor. Comput. Sci.},
volume = {856},
pages = {68--74},
year = {2021},
url = {https://doi.org/10.1016/j.tcs.2020.12.021},
doi = {10.1016/J.TCS.2020.12.021},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BercziBCEKM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-01801,
author = {Hiromichi Goko and
Ayumi Igarashi and
Yasushi Kawase and
Kazuhisa Makino and
Hanna Sumita and
Akihisa Tamura and
Yu Yokoi and
Makoto Yokoo},
title = {Fair and Truthful Mechanism with Limited Subsidy},
journal = {CoRR},
volume = {abs/2105.01801},
year = {2021},
url = {https://arxiv.org/abs/2105.01801},
eprinttype = {arXiv},
eprint = {2105.01801},
timestamp = {Tue, 11 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-01801.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2105-03093,
author = {Hiromichi Goko and
Kazuhisa Makino and
Shuichi Miyazaki and
Yu Yokoi},
title = {Maximally Satisfying Lower Quotas in the Hospitals/Residents Problem
with Ties},
journal = {CoRR},
volume = {abs/2105.03093},
year = {2021},
url = {https://arxiv.org/abs/2105.03093},
eprinttype = {arXiv},
eprint = {2105.03093},
timestamp = {Fri, 14 May 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2105-03093.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2111-02579,
author = {Toshimasa Ishii and
Jun Kawahara and
Kazuhisa Makino and
Hirotaka Ono},
title = {Reallocation Problems with Minimum Completion Time},
journal = {CoRR},
volume = {abs/2111.02579},
year = {2021},
url = {https://arxiv.org/abs/2111.02579},
eprinttype = {arXiv},
eprint = {2111.02579},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2111-02579.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/EngelsGMR20,
author = {Christian Engels and
Mohit Garg and
Kazuhisa Makino and
Anup Rao},
title = {On Expressing Majority as a Majority of Majorities},
journal = {{SIAM} J. Discret. Math.},
volume = {34},
number = {1},
pages = {730--741},
year = {2020},
url = {https://doi.org/10.1137/18M1223599},
doi = {10.1137/18M1223599},
timestamp = {Thu, 25 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/siamdm/EngelsGMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/ElbassioniM20,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Enumerating Vertices of Covering Polyhedra with Totally Unimodular
Constraint Matrices},
journal = {{SIAM} J. Discret. Math.},
volume = {34},
number = {1},
pages = {843--864},
year = {2020},
url = {https://doi.org/10.1137/18M1198995},
doi = {10.1137/18M1198995},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/ElbassioniM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BercziBCKM20,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Petr Kucera and
Kazuhisa Makino},
title = {Approximating minimum representations of key Horn functions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020},
year = {2020},
url = {http://isaim2020.cs.ou.edu/papers/ISAIM2020\_Boolean\_Berczi\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BercziBCKM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwoca/JordanKMM20,
author = {Tibor Jord{\'{a}}n and
Yusuke Kobayashi and
Ryoga Mahara and
Kazuhisa Makino},
editor = {Leszek Gasieniec and
Ralf Klasing and
Tomasz Radzik},
title = {The Steiner Problem for Count Matroids},
booktitle = {Combinatorial Algorithms - 31st International Workshop, {IWOCA} 2020,
Bordeaux, France, June 8-10, 2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12126},
pages = {330--342},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-48966-3\_25},
doi = {10.1007/978-3-030-48966-3\_25},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/iwoca/JordanKMM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06727,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Khaled M. Elbassioni and
Petr Kucera and
Kazuhisa Makino},
title = {Generating clause sequences of a {CNF} formula},
journal = {CoRR},
volume = {abs/2002.06727},
year = {2020},
url = {https://arxiv.org/abs/2002.06727},
eprinttype = {arXiv},
eprint = {2002.06727},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06727.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-06964,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Petr Kucera and
Kazuhisa Makino},
title = {Unique key Horn functions},
journal = {CoRR},
volume = {abs/2002.06964},
year = {2020},
url = {https://arxiv.org/abs/2002.06964},
eprinttype = {arXiv},
eprint = {2002.06964},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-06964.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-04428,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Erika R. B{\'{e}}rczi{-}Kov{\'{a}}cs and
Endre Boros and
Fekadu Tolessa Gedefa and
Naoyuki Kamiyama and
Telikepalli Kavitha and
Yusuke Kobayashi and
Kazuhisa Makino},
title = {Envy-free Relaxations for Goods, Chores, and Mixed Items},
journal = {CoRR},
volume = {abs/2006.04428},
year = {2020},
url = {https://arxiv.org/abs/2006.04428},
eprinttype = {arXiv},
eprint = {2006.04428},
timestamp = {Fri, 04 Dec 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-04428.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2007-08045,
author = {Yuki Amano and
Ayumi Igarashi and
Yasushi Kawase and
Kazuhisa Makino and
Hirotaka Ono},
title = {Fair Ride Allocation on a Line},
journal = {CoRR},
volume = {abs/2007.08045},
year = {2020},
url = {https://arxiv.org/abs/2007.08045},
eprinttype = {arXiv},
eprint = {2007.08045},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2007-08045.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2012-14079,
author = {Yuki Amano and
Kazuhisa Makino},
title = {A 3/4 Differential Approximation Algorithm for Traveling Salesman
Problem},
journal = {CoRR},
volume = {abs/2012.14079},
year = {2020},
url = {https://arxiv.org/abs/2012.14079},
eprinttype = {arXiv},
eprint = {2012.14079},
timestamp = {Tue, 05 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2012-14079.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ElbassioniMN19,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Waleed Najy},
title = {A Multiplicative Weight Updates Algorithm for Packing and Covering
Semi-infinite Linear Programs},
journal = {Algorithmica},
volume = {81},
number = {6},
pages = {2377--2429},
year = {2019},
url = {https://doi.org/10.1007/s00453-018-00539-4},
doi = {10.1007/S00453-018-00539-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/ElbassioniMN19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/SumitaKM19,
author = {Hanna Sumita and
Naonori Kakimura and
Kazuhisa Makino},
title = {Total dual integrality of the linear complementarity problem},
journal = {Ann. Oper. Res.},
volume = {274},
number = {1-2},
pages = {531--553},
year = {2019},
url = {https://doi.org/10.1007/s10479-018-2926-8},
doi = {10.1007/S10479-018-2926-8},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/SumitaKM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/disopt/KawaseM19,
author = {Yasushi Kawase and
Kazuhisa Makino},
title = {Surrogate optimization for p-norms},
journal = {Discret. Optim.},
volume = {34},
year = {2019},
url = {https://doi.org/10.1016/j.disopt.2019.05.003},
doi = {10.1016/J.DISOPT.2019.05.003},
timestamp = {Sat, 22 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/disopt/KawaseM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorosEGM19,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A pseudo-polynomial algorithm for mean payoff stochastic games with
perfect information and few random positions},
journal = {Inf. Comput.},
volume = {267},
pages = {74--95},
year = {2019},
url = {https://doi.org/10.1016/j.ic.2019.03.005},
doi = {10.1016/J.IC.2019.03.005},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/BorosEGM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/BorosGHMM19,
author = {Endre Boros and
Vladimir Gurvich and
Nhan Bao Ho and
Kazuhisa Makino and
Peter Mursic},
title = {Sprague-Grundy function of symmetric hypergraphs},
journal = {J. Comb. Theory, Ser. {A}},
volume = {165},
pages = {176--186},
year = {2019},
url = {https://doi.org/10.1016/j.jcta.2019.02.006},
doi = {10.1016/J.JCTA.2019.02.006},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jct/BorosGHMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/KawaseHM19,
author = {Yasushi Kawase and
Xin Han and
Kazuhisa Makino},
title = {Unit Cost Buyback Problem},
journal = {Theory Comput. Syst.},
volume = {63},
number = {6},
pages = {1185--1206},
year = {2019},
url = {https://doi.org/10.1007/s00224-018-9897-7},
doi = {10.1007/S00224-018-9897-7},
timestamp = {Thu, 08 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mst/KawaseHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KawaseHM19,
author = {Yasushi Kawase and
Xin Han and
Kazuhisa Makino},
title = {Proportional cost buyback problem with weight bounds},
journal = {Theor. Comput. Sci.},
volume = {774},
pages = {51--64},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2016.06.005},
doi = {10.1016/J.TCS.2016.06.005},
timestamp = {Fri, 05 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KawaseHM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanCM19,
author = {Xin Han and
Qinyang Chen and
Kazuhisa Makino},
title = {Online knapsack problem under concave functions},
journal = {Theor. Comput. Sci.},
volume = {786},
pages = {88--95},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2018.03.025},
doi = {10.1016/J.TCS.2018.03.025},
timestamp = {Tue, 20 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/HanCM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/BorosGHMM19,
author = {Endre Boros and
Vladimir Gurvich and
Nhan Bao Ho and
Kazuhisa Makino and
Peter Mursic},
title = {Sprague-Grundy function of matroids and related hypergraphs},
journal = {Theor. Comput. Sci.},
volume = {799},
pages = {40--58},
year = {2019},
url = {https://doi.org/10.1016/j.tcs.2019.09.041},
doi = {10.1016/J.TCS.2019.09.041},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/BorosGHMM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/ElbassioniM19,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
editor = {Michael A. Bender and
Ola Svensson and
Grzegorz Herman},
title = {Oracle-Based Primal-Dual Algorithms for Packing and Covering Semidefinite
Programs},
booktitle = {27th Annual European Symposium on Algorithms, {ESA} 2019, September
9-11, 2019, Munich/Garching, Germany},
series = {LIPIcs},
volume = {144},
pages = {43:1--43:15},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ESA.2019.43},
doi = {10.4230/LIPICS.ESA.2019.43},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/ElbassioniM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HanKMY19,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino and
Haruki Yokomaku},
editor = {Pinyan Lu and
Guochuan Zhang},
title = {Online Knapsack Problems with a Resource Buffer},
booktitle = {30th International Symposium on Algorithms and Computation, {ISAAC}
2019, December 8-11, 2019, Shanghai University of Finance and Economics,
Shanghai, China},
series = {LIPIcs},
volume = {149},
pages = {28:1--28:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2019.28},
doi = {10.4230/LIPICS.ISAAC.2019.28},
timestamp = {Thu, 28 Nov 2019 15:51:42 +0100},
biburl = {https://dblp.org/rec/conf/isaac/HanKMY19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1904-12432,
author = {Momoko Hayamizu and
Kazuhisa Makino},
title = {Ranking top-k trees in tree-based phylogenetic networks},
journal = {CoRR},
volume = {abs/1904.12432},
year = {2019},
url = {http://arxiv.org/abs/1904.12432},
eprinttype = {arXiv},
eprint = {1904.12432},
timestamp = {Thu, 02 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1904-12432.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-10016,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino and
Haruki Yokomaku},
title = {Online Knapsack Problems with a Resource Buffer},
journal = {CoRR},
volume = {abs/1909.10016},
year = {2019},
url = {http://arxiv.org/abs/1909.10016},
eprinttype = {arXiv},
eprint = {1909.10016},
timestamp = {Fri, 27 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-10016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KawaseMS18,
author = {Yasushi Kawase and
Kazuhisa Makino and
Kento Seimi},
title = {Optimal Composition Ordering Problems for Piecewise Linear Functions},
journal = {Algorithmica},
volume = {80},
number = {7},
pages = {2134--2159},
year = {2018},
url = {https://doi.org/10.1007/s00453-017-0397-y},
doi = {10.1007/S00453-017-0397-Y},
timestamp = {Sat, 05 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KawaseMS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/BorosEFGMM18,
author = {Endre Boros and
Khaled M. Elbassioni and
Mahmoud Fouz and
Vladimir Gurvich and
Kazuhisa Makino and
Bodo Manthey},
title = {Approximation Schemes for Stochastic Mean Payoff Games with Perfect
Information and Few Random Positions},
journal = {Algorithmica},
volume = {80},
number = {11},
pages = {3132--3157},
year = {2018},
url = {https://doi.org/10.1007/s00453-017-0372-7},
doi = {10.1007/S00453-017-0372-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/BorosEFGMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BorosGHMM18,
author = {Endre Boros and
Vladimir Gurvich and
Nhan Bao Ho and
Kazuhisa Makino and
Peter Mursic},
title = {On the Sprague-Grundyfunction of Exact k-Nim},
journal = {Discret. Appl. Math.},
volume = {239},
pages = {1--14},
year = {2018},
url = {https://doi.org/10.1016/j.dam.2017.08.007},
doi = {10.1016/J.DAM.2017.08.007},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/BorosGHMM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/LampisMMU18,
author = {Michael Lampis and
Kazuhisa Makino and
Valia Mitsou and
Yushi Uno},
title = {Parameterized Edge Hamiltonicity},
journal = {Discret. Appl. Math.},
volume = {248},
pages = {68--78},
year = {2018},
url = {https://doi.org/10.1016/j.dam.2017.04.045},
doi = {10.1016/J.DAM.2017.04.045},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/LampisMMU18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dga/BorosEGM18,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A Potential Reduction Algorithm for Two-Person Zero-Sum Mean Payoff
Stochastic Games},
journal = {Dyn. Games Appl.},
volume = {8},
number = {1},
pages = {22--41},
year = {2018},
url = {https://doi.org/10.1007/s13235-016-0199-x},
doi = {10.1007/S13235-016-0199-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dga/BorosEGM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jair/KimuraM18,
author = {Kei Kimura and
Kazuhisa Makino},
title = {Linear Satisfiability Preserving Assignments},
journal = {J. Artif. Intell. Res.},
volume = {61},
pages = {291--321},
year = {2018},
url = {https://doi.org/10.1613/jair.5658},
doi = {10.1613/JAIR.5658},
timestamp = {Mon, 21 Jan 2019 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jair/KimuraM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/KimuraM18,
author = {Kei Kimura and
Kazuhisa Makino},
editor = {J{\'{e}}r{\^{o}}me Lang},
title = {Linear Satisfiability Preserving Assignments (Extended Abstract)},
booktitle = {Proceedings of the Twenty-Seventh International Joint Conference on
Artificial Intelligence, {IJCAI} 2018, July 13-19, 2018, Stockholm,
Sweden},
pages = {5622--5626},
publisher = {ijcai.org},
year = {2018},
url = {https://doi.org/10.24963/ijcai.2018/797},
doi = {10.24963/IJCAI.2018/797},
timestamp = {Tue, 20 Aug 2019 16:19:08 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/KimuraM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/ElbassioniM18,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
editor = {David Eppstein},
title = {Enumerating Vertices of 0/1-Polyhedra associated with 0/1-Totally
Unimodular Matrices},
booktitle = {16th Scandinavian Symposium and Workshops on Algorithm Theory, {SWAT}
2018, June 18-20, 2018, Malm{\"{o}}, Sweden},
series = {LIPIcs},
volume = {101},
pages = {18:1--18:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.SWAT.2018.18},
doi = {10.4230/LIPICS.SWAT.2018.18},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swat/ElbassioniM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1809-09698,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Finding Sparse Solutions for Packing and Covering Semidefinite Programs},
journal = {CoRR},
volume = {abs/1809.09698},
year = {2018},
url = {http://arxiv.org/abs/1809.09698},
eprinttype = {arXiv},
eprint = {1809.09698},
timestamp = {Fri, 05 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-09698.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-05160,
author = {Krist{\'{o}}f B{\'{e}}rczi and
Endre Boros and
Ondrej Cepek and
Petr Kucera and
Kazuhisa Makino},
title = {Approximating minimum representations of key Horn functions},
journal = {CoRR},
volume = {abs/1811.05160},
year = {2018},
url = {http://arxiv.org/abs/1811.05160},
eprinttype = {arXiv},
eprint = {1811.05160},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1811-05160.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/SumitaKM17,
author = {Hanna Sumita and
Naonori Kakimura and
Kazuhisa Makino},
title = {Parameterized Complexity of Sparse Linear Complementarity Problems},
journal = {Algorithmica},
volume = {79},
number = {1},
pages = {42--65},
year = {2017},
url = {https://doi.org/10.1007/s00453-016-0229-5},
doi = {10.1007/S00453-016-0229-5},
timestamp = {Wed, 19 Jul 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/SumitaKM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ElbassioniM17,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Guest Editors' Foreword},
journal = {Algorithmica},
volume = {79},
number = {3},
pages = {884--885},
year = {2017},
url = {https://doi.org/10.1007/s00453-017-0359-4},
doi = {10.1007/S00453-017-0359-4},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/ElbassioniM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/BorosEGM17,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A nested family of {\textbackslash}({\textbackslash}varvec\{k\}{\textbackslash})
-total effective rewards for positional games},
journal = {Int. J. Game Theory},
volume = {46},
number = {1},
pages = {263--293},
year = {2017},
url = {https://doi.org/10.1007/s00182-016-0532-z},
doi = {10.1007/S00182-016-0532-Z},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/BorosEGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ol/BorosEGM17,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A convex programming-based algorithm for mean payoff stochastic games
with perfect information},
journal = {Optim. Lett.},
volume = {11},
number = {8},
pages = {1499--1512},
year = {2017},
url = {https://doi.org/10.1007/s11590-017-1140-y},
doi = {10.1007/S11590-017-1140-Y},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ol/BorosEGM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/HanMMC17,
author = {Xin Han and
Ning Ma and
Kazuhisa Makino and
He Chen},
editor = {Mingyu Xiao and
Frances A. Rosamond},
title = {Online Knapsack Problem Under Concave Functions},
booktitle = {Frontiers in Algorithmics - 11th International Workshop, {FAW} 2017,
Chengdu, China, June 23-25, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10336},
pages = {103--114},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-59605-1\_10},
doi = {10.1007/978-3-319-59605-1\_10},
timestamp = {Mon, 08 Jan 2024 16:42:23 +0100},
biburl = {https://dblp.org/rec/conf/faw/HanMMC17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/BorosCM17,
author = {Endre Boros and
Ondrej Cepek and
Kazuhisa Makino},
editor = {Ralf Klasing and
Marc Zeitoun},
title = {Strong Duality in Horn Minimization},
booktitle = {Fundamentals of Computation Theory - 21st International Symposium,
{FCT} 2017, Bordeaux, France, September 11-13, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10472},
pages = {123--135},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-662-55751-8\_11},
doi = {10.1007/978-3-662-55751-8\_11},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fct/BorosCM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KawaseKMS17,
author = {Yasushi Kawase and
Kei Kimura and
Kazuhisa Makino and
Hanna Sumita},
editor = {Yoshio Okamoto and
Takeshi Tokuyama},
title = {Optimal Matroid Partitioning Problems},
booktitle = {28th International Symposium on Algorithms and Computation, {ISAAC}
2017, December 9-12, 2017, Phuket, Thailand},
series = {LIPIcs},
volume = {92},
pages = {51:1--51:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2017},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2017.51},
doi = {10.4230/LIPICS.ISAAC.2017.51},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/isaac/KawaseKMS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wads/HalldorssonIMT17,
author = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Toshimasa Ishii and
Kazuhisa Makino and
Kenjiro Takazawa},
editor = {Faith Ellen and
Antonina Kolokolova and
J{\"{o}}rg{-}R{\"{u}}diger Sack},
title = {Posimodular Function Optimization},
booktitle = {Algorithms and Data Structures - 15th International Symposium, {WADS}
2017, St. John's, NL, Canada, July 31 - August 2, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10389},
pages = {437--448},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-62127-2\_37},
doi = {10.1007/978-3-319-62127-2\_37},
timestamp = {Fri, 27 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wads/HalldorssonIMT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ElbassioniM17,
author = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Enumerating Vertices of {\textdollar}0/1{\textdollar}-Polyhedra associated
with {\textdollar}0/1{\textdollar}-Totally Unimodular Matrices},
journal = {CoRR},
volume = {abs/1707.03914},
year = {2017},
url = {http://arxiv.org/abs/1707.03914},
eprinttype = {arXiv},
eprint = {1707.03914},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ElbassioniM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1710-00950,
author = {Yasushi Kawase and
Kei Kimura and
Kazuhisa Makino and
Hanna Sumita},
title = {Optimal Matroid Partitioning Problems},
journal = {CoRR},
volume = {abs/1710.00950},
year = {2017},
url = {http://arxiv.org/abs/1710.00950},
eprinttype = {arXiv},
eprint = {1710.00950},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1710-00950.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/EngelsGMR17,
author = {Christian Engels and
Mohit Garg and
Kazuhisa Makino and
Anup Rao},
title = {On Expressing Majority as a Majority of Majorities},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR17-174}},
year = {2017},
url = {https://eccc.weizmann.ac.il/report/2017/174},
eprinttype = {ECCC},
eprint = {TR17-174},
timestamp = {Tue, 27 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/EngelsGMR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KimuraM16,
author = {Kei Kimura and
Kazuhisa Makino},
title = {Trichotomy for integer linear systems based on their sign patterns},
journal = {Discret. Appl. Math.},
volume = {200},
pages = {67--78},
year = {2016},
url = {https://doi.org/10.1016/j.dam.2015.07.004},
doi = {10.1016/J.DAM.2015.07.004},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/KimuraM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijgt/BorosEGMO16,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino and
Vladimir Oudalov},
title = {Sufficient conditions for the existence of Nash equilibria in bimatrix
games in terms of forbidden {\textbackslash}(2 {\textbackslash}times
2{\textbackslash}) subgames},
journal = {Int. J. Game Theory},
volume = {45},
number = {4},
pages = {1111--1131},
year = {2016},
url = {https://doi.org/10.1007/s00182-015-0513-7},
doi = {10.1007/S00182-015-0513-7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijgt/BorosEGMO16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanM16,
author = {Xin Han and
Kazuhisa Makino},
title = {Online minimization knapsack problem},
journal = {Theor. Comput. Sci.},
volume = {609},
pages = {185--196},
year = {2016},
url = {https://doi.org/10.1016/j.tcs.2015.09.021},
doi = {10.1016/J.TCS.2015.09.021},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HanM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KawaseM16,
author = {Yasushi Kawase and
Kazuhisa Makino},
editor = {Seok{-}Hee Hong},
title = {Surrogate Optimization for p-Norms},
booktitle = {27th International Symposium on Algorithms and Computation, {ISAAC}
2016, December 12-14, 2016, Sydney, Australia},
series = {LIPIcs},
volume = {64},
pages = {41:1--41:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2016.41},
doi = {10.4230/LIPICS.ISAAC.2016.41},
timestamp = {Thu, 27 Apr 2023 14:57:19 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KawaseM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KawaseMS16,
author = {Yasushi Kawase and
Kazuhisa Makino and
Kento Seimi},
editor = {Seok{-}Hee Hong},
title = {Optimal Composition Ordering Problems for Piecewise Linear Functions},
booktitle = {27th International Symposium on Algorithms and Computation, {ISAAC}
2016, December 12-14, 2016, Sydney, Australia},
series = {LIPIcs},
volume = {64},
pages = {42:1--42:13},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.ISAAC.2016.42},
doi = {10.4230/LIPICS.ISAAC.2016.42},
timestamp = {Thu, 23 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KawaseMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaim/BorosCM16,
author = {Endre Boros and
Ondrej Cepek and
Kazuhisa Makino},
title = {A combinatorial min-max theorem and minimization of pure-Horn functions},
booktitle = {International Symposium on Artificial Intelligence and Mathematics,
{ISAIM} 2016, Fort Lauderdale, Florida, USA, January 4-6, 2016},
year = {2016},
url = {https://isaim2016.cs.ou.edu/papers/ISAIM2016\_Boolean\_Boros\_etal.pdf},
timestamp = {Wed, 20 Mar 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaim/BorosCM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waoa/ElbassioniMN16,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Waleed Najy},
editor = {Klaus Jansen and
Monaldo Mastrolilli},
title = {A Multiplicative Weights Update Algorithm for Packing and Covering
Semi-infinite Linear Programs},
booktitle = {Approximation and Online Algorithms - 14th International Workshop,
{WAOA} 2016, Aarhus, Denmark, August 25-26, 2016, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {10138},
pages = {78--91},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-51741-4\_7},
doi = {10.1007/978-3-319-51741-4\_7},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/waoa/ElbassioniMN16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KawaseMS16,
author = {Yasushi Kawase and
Kazuhisa Makino and
Kento Seimi},
title = {Optimal Composition Ordering Problems for Piecewise Linear Functions},
journal = {CoRR},
volume = {abs/1601.05480},
year = {2016},
url = {http://arxiv.org/abs/1601.05480},
eprinttype = {arXiv},
eprint = {1601.05480},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KawaseMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorosEGM16,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A Convex Programming-based Algorithm for Mean Payoff Stochastic Games
with Perfect Information},
journal = {CoRR},
volume = {abs/1610.06681},
year = {2016},
url = {http://arxiv.org/abs/1610.06681},
eprinttype = {arXiv},
eprint = {1610.06681},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorosEGM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ElbassioniMMR15,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Kurt Mehlhorn and
Fahimeh Ramezani},
title = {On Randomized Fictitious Play for Approximating Saddle Points Over
Convex Sets},
journal = {Algorithmica},
volume = {73},
number = {2},
pages = {441--459},
year = {2015},
url = {https://doi.org/10.1007/s00453-014-9902-8},
doi = {10.1007/S00453-014-9902-8},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/ElbassioniMMR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mor/SumitaKM15,
author = {Hanna Sumita and
Naonori Kakimura and
Kazuhisa Makino},
title = {The Linear Complementarity Problems with a Few Variables per Constraint},
journal = {Math. Oper. Res.},
volume = {40},
number = {4},
pages = {1015--1026},
year = {2015},
url = {https://doi.org/10.1287/moor.2014.0708},
doi = {10.1287/MOOR.2014.0708},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mor/SumitaKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/KijimaKM15,
author = {Shuji Kijima and
Kentaro Koga and
Kazuhisa Makino},
title = {Deterministic random walks on finite graphs},
journal = {Random Struct. Algorithms},
volume = {46},
number = {4},
pages = {739--761},
year = {2015},
url = {https://doi.org/10.1002/rsa.20533},
doi = {10.1002/RSA.20533},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/rsa/KijimaKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanKM15,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino},
title = {Randomized algorithms for online knapsack problems},
journal = {Theor. Comput. Sci.},
volume = {562},
pages = {395--405},
year = {2015},
url = {https://doi.org/10.1016/j.tcs.2014.10.017},
doi = {10.1016/J.TCS.2014.10.017},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HanKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoa/KawaseHM15,
author = {Yasushi Kawase and
Xin Han and
Kazuhisa Makino},
editor = {Zaixin Lu and
Donghyun Kim and
Weili Wu and
Wei Li and
Ding{-}Zhu Du},
title = {Proportional Cost Buyback Problem with Weight Bounds},
booktitle = {Combinatorial Optimization and Applications - 9th International Conference,
{COCOA} 2015, Houston, TX, USA, December 18-20, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9486},
pages = {794--808},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-26626-8\_59},
doi = {10.1007/978-3-319-26626-8\_59},
timestamp = {Thu, 02 Dec 2021 16:45:00 +0100},
biburl = {https://dblp.org/rec/conf/cocoa/KawaseHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwpec/SumitaKM15,
author = {Hanna Sumita and
Naonori Kakimura and
Kazuhisa Makino},
editor = {Thore Husfeldt and
Iyad A. Kanj},
title = {Parameterized Complexity of Sparse Linear Complementarity Problems},
booktitle = {10th International Symposium on Parameterized and Exact Computation,
{IPEC} 2015, September 16-18, 2015, Patras, Greece},
series = {LIPIcs},
volume = {43},
pages = {355--364},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.IPEC.2015.355},
doi = {10.4230/LIPICS.IPEC.2015.355},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/iwpec/SumitaKM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GajarskyLMMO15,
author = {Jakub Gajarsk{\'{y}} and
Michael Lampis and
Kazuhisa Makino and
Valia Mitsou and
Sebastian Ordyniak},
editor = {Giuseppe F. Italiano and
Giovanni Pighizzini and
Donald Sannella},
title = {Parameterized Algorithms for Parity Games},
booktitle = {Mathematical Foundations of Computer Science 2015 - 40th International
Symposium, {MFCS} 2015, Milan, Italy, August 24-28, 2015, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9235},
pages = {336--347},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48054-0\_28},
doi = {10.1007/978-3-662-48054-0\_28},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/GajarskyLMMO15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BorosEGM15,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Ernst W. Mayr and
Nicolas Ollinger},
title = {Markov Decision Processes and Stochastic Games with Total Effective
Payoff},
booktitle = {32nd International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2015, March 4-7, 2015, Garching, Germany},
series = {LIPIcs},
volume = {30},
pages = {103--115},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2015},
url = {https://doi.org/10.4230/LIPIcs.STACS.2015.103},
doi = {10.4230/LIPICS.STACS.2015.103},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BorosEGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/2015,
editor = {Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Algorithms and Computation - 26th International Symposium, {ISAAC}
2015, Nagoya, Japan, December 9-11, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9472},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48971-0},
doi = {10.1007/978-3-662-48971-0},
isbn = {978-3-662-48970-3},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/2015.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorosEGM15,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with
Perfect Information and Few Random Positions},
journal = {CoRR},
volume = {abs/1508.03431},
year = {2015},
url = {http://arxiv.org/abs/1508.03431},
eprinttype = {arXiv},
eprint = {1508.03431},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorosEGM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorosEGM15a,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {A Potential Reduction Algorithm for Two-person Zero-sum Mean Payoff
Stochastic Games},
journal = {CoRR},
volume = {abs/1508.03455},
year = {2015},
url = {http://arxiv.org/abs/1508.03455},
eprinttype = {arXiv},
eprint = {1508.03455},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorosEGM15a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YoshikawaHM15,
author = {Hiyori Yoshikawa and
Hiroshi Hirai and
Kazuhisa Makino},
title = {A representation of antimatroids by Horn rules and its application
to educational systems},
journal = {CoRR},
volume = {abs/1508.05465},
year = {2015},
url = {http://arxiv.org/abs/1508.05465},
eprinttype = {arXiv},
eprint = {1508.05465},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YoshikawaHM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/IshiiM14,
author = {Toshimasa Ishii and
Kazuhisa Makino},
title = {Augmenting Edge-Connectivity between Vertex Subsets},
journal = {Algorithmica},
volume = {69},
number = {1},
pages = {130--147},
year = {2014},
url = {https://doi.org/10.1007/s00453-012-9724-5},
doi = {10.1007/S00453-012-9724-5},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/IshiiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/HanKM14,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino},
title = {Online Unweighted Knapsack Problem with Removal Cost},
journal = {Algorithmica},
volume = {70},
number = {1},
pages = {76--91},
year = {2014},
url = {https://doi.org/10.1007/s00453-013-9822-z},
doi = {10.1007/S00453-013-9822-Z},
timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/HanKM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanKMG14,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino and
He Guo},
title = {Online removable knapsack problem under convex function},
journal = {Theor. Comput. Sci.},
volume = {540},
pages = {62--69},
year = {2014},
url = {https://doi.org/10.1016/j.tcs.2013.09.013},
doi = {10.1016/J.TCS.2013.09.013},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HanKMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoa/BorosEGM14,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Zhao Zhang and
Lidong Wu and
Wen Xu and
Ding{-}Zhu Du},
title = {A Potential Reduction Algorithm for Ergodic Two-Person Zero-Sum Limiting
Average Payoff Stochastic Games},
booktitle = {Combinatorial Optimization and Applications - 8th International Conference,
{COCOA} 2014, Wailea, Maui, HI, USA, December 19-21, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8881},
pages = {694--709},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12691-3\_52},
doi = {10.1007/978-3-319-12691-3\_52},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoa/BorosEGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/LampisMMU14,
author = {Michael Lampis and
Kazuhisa Makino and
Valia Mitsou and
Yushi Uno},
editor = {Dieter Kratsch and
Ioan Todinca},
title = {Parameterized Edge Hamiltonicity},
booktitle = {Graph-Theoretic Concepts in Computer Science - 40th International
Workshop, {WG} 2014, Nouan-le-Fuzelier, France, June 25-27, 2014.
Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8747},
pages = {348--359},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12340-0\_29},
doi = {10.1007/978-3-319-12340-0\_29},
timestamp = {Tue, 14 May 2019 10:00:40 +0200},
biburl = {https://dblp.org/rec/conf/wg/LampisMMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/LampisMMU14,
author = {Michael Lampis and
Kazuhisa Makino and
Valia Mitsou and
Yushi Uno},
title = {Parameterized Edge Hamiltonicity},
journal = {CoRR},
volume = {abs/1403.2041},
year = {2014},
url = {http://arxiv.org/abs/1403.2041},
eprinttype = {arXiv},
eprint = {1403.2041},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/LampisMMU14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/IshiiM14,
author = {Toshimasa Ishii and
Kazuhisa Makino},
title = {Posimodular Function Optimization},
journal = {CoRR},
volume = {abs/1410.6030},
year = {2014},
url = {http://arxiv.org/abs/1410.6030},
eprinttype = {arXiv},
eprint = {1410.6030},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/IshiiM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/BorosEGM14,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {Nested Family of Cyclic Games with {\textdollar}k{\textdollar}-total
Effective Rewards},
journal = {CoRR},
volume = {abs/1412.6072},
year = {2014},
url = {http://arxiv.org/abs/1412.6072},
eprinttype = {arXiv},
eprint = {1412.6072},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/BorosEGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/MakinoTY13,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
title = {Derandomizing the {HSSW} Algorithm for 3-SAT},
journal = {Algorithmica},
volume = {67},
number = {2},
pages = {112--124},
year = {2013},
url = {https://doi.org/10.1007/s00453-012-9741-4},
doi = {10.1007/S00453-012-9741-4},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/MakinoTY13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dga/BorosEGM13,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {On Canonical Forms for Zero-Sum Stochastic Mean Payoff Games},
journal = {Dyn. Games Appl.},
volume = {3},
number = {2},
pages = {128--161},
year = {2013},
url = {https://doi.org/10.1007/s13235-013-0075-x},
doi = {10.1007/S13235-013-0075-X},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dga/BorosEGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/orl/BorosEGM13,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {On discounted approximations of undiscounted stochastic games and
Markov decision processes with limited randomness},
journal = {Oper. Res. Lett.},
volume = {41},
number = {4},
pages = {357--362},
year = {2013},
url = {https://doi.org/10.1016/j.orl.2013.04.006},
doi = {10.1016/J.ORL.2013.04.006},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/orl/BorosEGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/FujitaKM13,
author = {Ryo Fujita and
Yusuke Kobayashi and
Kazuhisa Makino},
title = {Robust Matchings and Matroid Intersections},
journal = {{SIAM} J. Discret. Math.},
volume = {27},
number = {3},
pages = {1234--1256},
year = {2013},
url = {https://doi.org/10.1137/100808800},
doi = {10.1137/100808800},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/FujitaKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KakimuraM13,
author = {Naonori Kakimura and
Kazuhisa Makino},
title = {Robust Independence Systems},
journal = {{SIAM} J. Discret. Math.},
volume = {27},
number = {3},
pages = {1257--1273},
year = {2013},
url = {https://doi.org/10.1137/120899480},
doi = {10.1137/120899480},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/KakimuraM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KawaseM13,
author = {Yasushi Kawase and
Kazuhisa Makino},
title = {Nash equilibria with minimum potential in undirected broadcast games},
journal = {Theor. Comput. Sci.},
volume = {482},
pages = {33--47},
year = {2013},
url = {https://doi.org/10.1016/j.tcs.2013.02.031},
doi = {10.1016/J.TCS.2013.02.031},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KawaseM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaim/HanKM13,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino},
editor = {Michael R. Fellows and
Xuehou Tan and
Binhai Zhu},
title = {Randomized Algorithms for Removable Online Knapsack Problems},
booktitle = {Frontiers in Algorithmics \emph{and} Algorithmic Aspects in Information
and Management, Third Joint International Conference, {FAW-AAIM} 2013,
Dalian, China, June 26-28, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7924},
pages = {60--71},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38756-2\_9},
doi = {10.1007/978-3-642-38756-2\_9},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aaim/HanKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/SumitaKM13,
author = {Hanna Sumita and
Naonori Kakimura and
Kazuhisa Makino},
editor = {Paul G. Spirakis and
Maria J. Serna},
title = {Sparse Linear Complementarity Problems},
booktitle = {Algorithms and Complexity, 8th International Conference, {CIAC} 2013,
Barcelona, Spain, May 22-24, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7878},
pages = {358--369},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38233-8\_30},
doi = {10.1007/978-3-642-38233-8\_30},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/ciac/SumitaKM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/ElbassioniMMR13,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Kurt Mehlhorn and
Fahimeh Ramezani},
editor = {Ding{-}Zhu Du and
Guochuan Zhang},
title = {On Randomized Fictitious Play for Approximating Saddle Points over
Convex Sets},
booktitle = {Computing and Combinatorics, 19th International Conference, {COCOON}
2013, Hangzhou, China, June 21-23, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7936},
pages = {65--76},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38768-5\_8},
doi = {10.1007/978-3-642-38768-5\_8},
timestamp = {Thu, 31 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/ElbassioniMMR13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEGM13,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Fedor V. Fomin and
Rusins Freivalds and
Marta Z. Kwiatkowska and
David Peleg},
title = {A Pseudo-Polynomial Algorithm for Mean Payoff Stochastic Games with
Perfect Information and a Few Random Positions},
booktitle = {Automata, Languages, and Programming - 40th International Colloquium,
{ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {7965},
pages = {220--231},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-39206-1\_19},
doi = {10.1007/978-3-642-39206-1\_19},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEGM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KawaseHM13,
author = {Yasushi Kawase and
Xin Han and
Kazuhisa Makino},
editor = {Leizhen Cai and
Siu{-}Wing Cheng and
Tak Wah Lam},
title = {Unit Cost Buyback Problem},
booktitle = {Algorithms and Computation - 24th International Symposium, {ISAAC}
2013, Hong Kong, China, December 16-18, 2013, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8283},
pages = {435--445},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-45030-3\_41},
doi = {10.1007/978-3-642-45030-3\_41},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KawaseHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1301-5290,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Kurt Mehlhorn and
Fahimeh Ramezani},
title = {On Randomized Fictitious Play for Approximating Saddle Points Over
Convex Sets},
journal = {CoRR},
volume = {abs/1301.5290},
year = {2013},
url = {http://arxiv.org/abs/1301.5290},
eprinttype = {arXiv},
eprint = {1301.5290},
timestamp = {Fri, 01 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1301-5290.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/ChrobakWMX12,
author = {Marek Chrobak and
Gerhard J. Woeginger and
Kazuhisa Makino and
Haifeng Xu},
title = {Caching Is Hard - Even in the Fault Model},
journal = {Algorithmica},
volume = {63},
number = {4},
pages = {781--794},
year = {2012},
url = {https://doi.org/10.1007/s00453-011-9502-9},
doi = {10.1007/S00453-011-9502-9},
timestamp = {Tue, 26 Jun 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/ChrobakWMX12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BorosEGM12,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {On Nash equilibria and improvement cycles in pure positional strategies
for Chess-like and Backgammon-like n-person games},
journal = {Discret. Math.},
volume = {312},
number = {4},
pages = {772--788},
year = {2012},
url = {https://doi.org/10.1016/j.disc.2011.11.011},
doi = {10.1016/J.DISC.2011.11.011},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dm/BorosEGM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tocl/MakinoO12,
author = {Kazuhisa Makino and
Hirotaka Ono},
title = {Deductive inference for the interiors and exteriors of horn theories},
journal = {{ACM} Trans. Comput. Log.},
volume = {13},
number = {3},
pages = {23:1--23:16},
year = {2012},
url = {https://doi.org/10.1145/2287718.2287723},
doi = {10.1145/2287718.2287723},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/MakinoO12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/analco/KijimaKM12,
author = {Shuji Kijima and
Kentaro Koga and
Kazuhisa Makino},
editor = {Conrado Mart{\'{\i}}nez and
Hsien{-}Kuei Hwang},
title = {Deterministic Random Walks on Finite Graphs},
booktitle = {Proceedings of the 9th Meeting on Analytic Algorithmics and Combinatorics,
{ANALCO} 2012, Kyoto, Japan, January 16, 2012},
pages = {16--25},
publisher = {{SIAM}},
year = {2012},
url = {https://doi.org/10.1137/1.9781611973020.3},
doi = {10.1137/1.9781611973020.3},
timestamp = {Tue, 23 May 2017 01:10:31 +0200},
biburl = {https://dblp.org/rec/conf/analco/KijimaKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/HanKM12,
author = {Xin Han and
Yasushi Kawase and
Kazuhisa Makino},
editor = {Joachim Gudmundsson and
Juli{\'{a}}n Mestre and
Taso Viglas},
title = {Online Knapsack Problem with Removal Cost},
booktitle = {Computing and Combinatorics - 18th Annual International Conference,
{COCOON} 2012, Sydney, Australia, August 20-22, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7434},
pages = {61--73},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-32241-9\_6},
doi = {10.1007/978-3-642-32241-9\_6},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/HanKM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic-nc/Makino12,
author = {Kazuhisa Makino},
title = {Source Location Problems with Flow Requirements},
booktitle = {Third International Conference on Networking and Computing, {ICNC}
2012, Okinawa, Japan, December 5-7, 2012},
pages = {404--406},
publisher = {{IEEE} Computer Society},
year = {2012},
url = {https://doi.org/10.1109/ICNC.2012.77},
doi = {10.1109/ICNC.2012.77},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ic-nc/Makino12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigmod/NanongkaiLSM12,
author = {Danupon Nanongkai and
Ashwin Lall and
Atish Das Sarma and
Kazuhisa Makino},
editor = {K. Sel{\c{c}}uk Candan and
Yi Chen and
Richard T. Snodgrass and
Luis Gravano and
Ariel Fuxman},
title = {Interactive regret minimization},
booktitle = {Proceedings of the {ACM} {SIGMOD} International Conference on Management
of Data, {SIGMOD} 2012, Scottsdale, AZ, USA, May 20-24, 2012},
pages = {109--120},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2213836.2213850},
doi = {10.1145/2213836.2213850},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sigmod/NanongkaiLSM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/KimuraM12,
author = {Kei Kimura and
Kazuhisa Makino},
editor = {Christoph D{\"{u}}rr and
Thomas Wilke},
title = {Trichotomy for Integer Linear Systems Based on Their Sign Patterns},
booktitle = {29th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2012, February 29th - March 3rd, 2012, Paris, France},
series = {LIPIcs},
volume = {14},
pages = {613--623},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2012},
url = {https://doi.org/10.4230/LIPIcs.STACS.2012.613},
doi = {10.4230/LIPICS.STACS.2012.613},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/KimuraM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/walcom/KawaseM12,
author = {Yasushi Kawase and
Kazuhisa Makino},
editor = {Md. Saidur Rahman and
Shin{-}Ichi Nakano},
title = {Nash Equilibria with Minimum Potential in Undirected Broadcast Games},
booktitle = {{WALCOM:} Algorithms and Computation - 6th International Workshop,
{WALCOM} 2012, Dhaka, Bangladesh, February 15-17, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7157},
pages = {217--228},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28076-4\_22},
doi = {10.1007/978-3-642-28076-4\_22},
timestamp = {Tue, 21 Mar 2023 20:55:51 +0100},
biburl = {https://dblp.org/rec/conf/walcom/KawaseM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/BorosCHIKM11,
author = {Endre Boros and
Yves Crama and
Peter L. Hammer and
Toshihide Ibaraki and
Alexander Kogan and
Kazuhisa Makino},
title = {Logical analysis of data: classification with justification},
journal = {Ann. Oper. Res.},
volume = {188},
number = {1},
pages = {33--61},
year = {2011},
url = {https://doi.org/10.1007/s10479-011-0916-1},
doi = {10.1007/S10479-011-0916-1},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/anor/BorosCHIKM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BorosGMS11,
author = {Endre Boros and
Vladimir Gurvich and
Kazuhisa Makino and
Wei Shao},
title = {Nash-solvable two-person symmetric cycle game forms},
journal = {Discret. Appl. Math.},
volume = {159},
number = {15},
pages = {1461--1487},
year = {2011},
url = {https://doi.org/10.1016/j.dam.2011.05.011},
doi = {10.1016/J.DAM.2011.05.011},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BorosGMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijcga/ElbassioniEM11,
author = {Khaled M. Elbassioni and
Amr Elmasry and
Kazuhisa Makino},
title = {Finding Simplices containing the Origin in Two and Three Dimensions},
journal = {Int. J. Comput. Geom. Appl.},
volume = {21},
number = {5},
pages = {495--506},
year = {2011},
url = {https://doi.org/10.1142/S0218195911003779},
doi = {10.1142/S0218195911003779},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijcga/ElbassioniEM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jco/ElbassioniMR11,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Imran Rauf},
title = {On the readability of monotone Boolean formulae},
journal = {J. Comb. Optim.},
volume = {22},
number = {3},
pages = {293--304},
year = {2011},
url = {https://doi.org/10.1007/s10878-009-9283-0},
doi = {10.1007/S10878-009-9283-0},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jco/ElbassioniMR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/networks/HarutyunyanLMS11,
author = {Hovhannes A. Harutyunyan and
Arthur L. Liestman and
Kazuhisa Makino and
Thomas C. Shermer},
title = {Nonadaptive broadcasting in trees},
journal = {Networks},
volume = {57},
number = {2},
pages = {157--168},
year = {2011},
url = {https://doi.org/10.1002/net.20396},
doi = {10.1002/NET.20396},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/networks/HarutyunyanLMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/MakinoTY11,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
title = {An exact algorithm for the Boolean connectivity problem for k-CNF},
journal = {Theor. Comput. Sci.},
volume = {412},
number = {35},
pages = {4613--4618},
year = {2011},
url = {https://doi.org/10.1016/j.tcs.2011.04.041},
doi = {10.1016/J.TCS.2011.04.041},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/MakinoTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/MakinoTY11,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
editor = {Bin Fu and
Ding{-}Zhu Du},
title = {Derandomizing {HSSW} Algorithm for 3-SAT},
booktitle = {Computing and Combinatorics - 17th Annual International Conference,
{COCOON} 2011, Dallas, TX, USA, August 14-16, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6842},
pages = {1--12},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22685-4\_1},
doi = {10.1007/978-3-642-22685-4\_1},
timestamp = {Tue, 14 May 2019 10:00:35 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/MakinoTY11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEFGMM11,
author = {Endre Boros and
Khaled M. Elbassioni and
Mahmoud Fouz and
Vladimir Gurvich and
Kazuhisa Makino and
Bodo Manthey},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Stochastic Mean Payoff Games: Smoothed Analysis and Approximation
Schemes},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {6755},
pages = {147--158},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22006-7\_13},
doi = {10.1007/978-3-642-22006-7\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEFGMM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/KakimuraM11,
author = {Naonori Kakimura and
Kazuhisa Makino},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Robust Independence Systems},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{I}},
series = {Lecture Notes in Computer Science},
volume = {6755},
pages = {367--378},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22006-7\_31},
doi = {10.1007/978-3-642-22006-7\_31},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/KakimuraM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KakimuraMS11,
author = {Naonori Kakimura and
Kazuhisa Makino and
Kento Seimi},
editor = {Takao Asano and
Shin{-}Ichi Nakano and
Yoshio Okamoto and
Osamu Watanabe},
title = {Computing Knapsack Solutions with Cardinality Robustness},
booktitle = {Algorithms and Computation - 22nd International Symposium, {ISAAC}
2011, Yokohama, Japan, December 5-8, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7074},
pages = {693--702},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-25591-5\_71},
doi = {10.1007/978-3-642-25591-5\_71},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KakimuraMS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1102-3766,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
title = {Derandomizing {HSSW} Algorithm for 3-SAT},
journal = {CoRR},
volume = {abs/1102.3766},
year = {2011},
url = {http://arxiv.org/abs/1102.3766},
eprinttype = {arXiv},
eprint = {1102.3766},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1102-3766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoTY10,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
title = {On the Boolean connectivity problem for Horn relations},
journal = {Discret. Appl. Math.},
volume = {158},
number = {18},
pages = {2024--2030},
year = {2010},
url = {https://doi.org/10.1016/j.dam.2010.08.019},
doi = {10.1016/J.DAM.2010.08.019},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BorosGMP10,
author = {Endre Boros and
Vladimir Gurvich and
Kazuhisa Makino and
D{\'{a}}vid Papp},
title = {Acyclic, or totally tight, two-person game forms: Characterization
and main properties},
journal = {Discret. Math.},
volume = {310},
number = {6-7},
pages = {1135--1151},
year = {2010},
url = {https://doi.org/10.1016/j.disc.2009.11.009},
doi = {10.1016/J.DISC.2009.11.009},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BorosGMP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dmaa/IshiiM10,
author = {Toshimasa Ishii and
Kazuhisa Makino},
title = {Posi-Modular Systems with Modulotone Requirements under Permutation
Constraints},
journal = {Discret. Math. Algorithms Appl.},
volume = {2},
number = {1},
pages = {61--76},
year = {2010},
url = {https://doi.org/10.1142/S1793830910000474},
doi = {10.1142/S1793830910000474},
timestamp = {Wed, 12 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dmaa/IshiiM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/geb/BorosEGM10,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {On effectivity functions of game forms},
journal = {Games Econ. Behav.},
volume = {68},
number = {2},
pages = {512--531},
year = {2010},
url = {https://doi.org/10.1016/j.geb.2009.09.002},
doi = {10.1016/J.GEB.2009.09.002},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/geb/BorosEGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BorosEM10,
author = {Endre Boros and
Khaled M. Elbassioni and
Kazuhisa Makino},
title = {Left-to-Right Multiplication for Monotone Boolean Dualization},
journal = {{SIAM} J. Comput.},
volume = {39},
number = {7},
pages = {3424--3439},
year = {2010},
url = {https://doi.org/10.1137/080734881},
doi = {10.1137/080734881},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BorosEM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/HanM10,
author = {Xin Han and
Kazuhisa Makino},
title = {Online removable knapsack with limited cuts},
journal = {Theor. Comput. Sci.},
volume = {411},
number = {44-46},
pages = {3956--3964},
year = {2010},
url = {https://doi.org/10.1016/j.tcs.2010.08.009},
doi = {10.1016/J.TCS.2010.08.009},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/HanM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/FujitaKM10,
author = {Ryo Fujita and
Yusuke Kobayashi and
Kazuhisa Makino},
editor = {Mark de Berg and
Ulrich Meyer},
title = {Robust Matchings and Matroid Intersections},
booktitle = {Algorithms - {ESA} 2010, 18th Annual European Symposium, Liverpool,
UK, September 6-8, 2010. Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {6347},
pages = {123--134},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15781-3\_11},
doi = {10.1007/978-3-642-15781-3\_11},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/esa/FujitaKM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/ChrobakWMX10,
author = {Marek Chrobak and
Gerhard J. Woeginger and
Kazuhisa Makino and
Haifeng Xu},
editor = {Mark de Berg and
Ulrich Meyer},
title = {Caching Is Hard - Even in the Fault Model},
booktitle = {Algorithms - {ESA} 2010, 18th Annual European Symposium, Liverpool,
UK, September 6-8, 2010. Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {6346},
pages = {195--206},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-15775-2\_17},
doi = {10.1007/978-3-642-15775-2\_17},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/esa/ChrobakWMX10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ipco/BorosEGM10,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Friedrich Eisenbrand and
F. Bruce Shepherd},
title = {A Pumping Algorithm for Ergodic Stochastic Mean Payoff Games with
Perfect Information},
booktitle = {Integer Programming and Combinatorial Optimization, 14th International
Conference, {IPCO} 2010, Lausanne, Switzerland, June 9-11, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6080},
pages = {341--354},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-13036-6\_26},
doi = {10.1007/978-3-642-13036-6\_26},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ipco/BorosEGM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MakinoTY10,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
editor = {Ofer Strichman and
Stefan Szeider},
title = {An Exact Algorithm for the Boolean Connectivity Problem for \emph{k}-CNF},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2010, 13th
International Conference, {SAT} 2010, Edinburgh, UK, July 11-14, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6175},
pages = {172--180},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14186-7\_15},
doi = {10.1007/978-3-642-14186-7\_15},
timestamp = {Sat, 19 Oct 2019 20:28:15 +0200},
biburl = {https://dblp.org/rec/conf/sat/MakinoTY10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/GaurM09,
author = {Daya Ram Gaur and
Kazuhisa Makino},
title = {On the fractional chromatic number of monotone self-dual Boolean functions},
journal = {Discret. Math.},
volume = {309},
number = {4},
pages = {867--877},
year = {2009},
url = {https://doi.org/10.1016/j.disc.2008.01.028},
doi = {10.1016/J.DISC.2008.01.028},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dm/GaurM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BorosGM09,
author = {Endre Boros and
Vladimir Gurvich and
Kazuhisa Makino},
title = {Minimal and locally minimal games and game forms},
journal = {Discret. Math.},
volume = {309},
number = {13},
pages = {4456--4468},
year = {2009},
url = {https://doi.org/10.1016/j.disc.2009.01.024},
doi = {10.1016/J.DISC.2009.01.024},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/BorosGM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/SakashitaMNF09,
author = {Mariko Sakashita and
Kazuhisa Makino and
Hiroshi Nagamochi and
Satoru Fujishige},
title = {Minimum Transversals in Posimodular Systems},
journal = {{SIAM} J. Discret. Math.},
volume = {23},
number = {2},
pages = {858--871},
year = {2009},
url = {https://doi.org/10.1137/060663970},
doi = {10.1137/060663970},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/SakashitaMNF09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cats/IshiiM09,
author = {Toshimasa Ishii and
Kazuhisa Makino},
editor = {Rod Downey and
Prabhu Manyem},
title = {Augmenting Edge-Connectivity between Vertex Subsets},
booktitle = {Theory of Computing 2009, Fifteenth Computing: The Australasian Theory
Symposium, {CATS} 2009, Wellington, New Zealand, January 2009},
series = {{CRPIT}},
volume = {94},
pages = {43--49},
publisher = {Australian Computer Society},
year = {2009},
url = {http://crpit.scem.westernsydney.edu.au/abstracts/CRPITV94Ishii.html},
timestamp = {Mon, 08 Feb 2021 13:26:47 +0100},
biburl = {https://dblp.org/rec/conf/cats/IshiiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/ElbassioniMR09,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Imran Rauf},
editor = {Hung Q. Ngo},
title = {On the Readability of Monotone Boolean Formulae},
booktitle = {Computing and Combinatorics, 15th Annual International Conference,
{COCOON} 2009, Niagara Falls, NY, USA, July 13-15, 2009, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5609},
pages = {496--505},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02882-3\_49},
doi = {10.1007/978-3-642-02882-3\_49},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/ElbassioniMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/ElbassioniMR09,
author = {Khaled M. Elbassioni and
Kazuhisa Makino and
Imran Rauf},
editor = {Amos Fiat and
Peter Sanders},
title = {Output-Sensitive Algorithms for Enumerating Minimal Transversals for
Some Geometric Hypergraphs},
booktitle = {Algorithms - {ESA} 2009, 17th Annual European Symposium, Copenhagen,
Denmark, September 7-9, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5757},
pages = {143--154},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04128-0\_13},
doi = {10.1007/978-3-642-04128-0\_13},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/ElbassioniMR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosM09,
author = {Endre Boros and
Kazuhisa Makino},
editor = {Susanne Albers and
Alberto Marchetti{-}Spaccamela and
Yossi Matias and
Sotiris E. Nikoletseas and
Wolfgang Thomas},
title = {A Fast and Simple Parallel Algorithm for the Monotone Duality Problem},
booktitle = {Automata, Languages and Programming, 36th International Colloquium,
{ICALP} 2009, Rhodes, Greece, July 5-12, 2009, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {5555},
pages = {183--194},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02927-1\_17},
doi = {10.1007/978-3-642-02927-1\_17},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HanM09,
author = {Xin Han and
Kazuhisa Makino},
editor = {Yingfei Dong and
Ding{-}Zhu Du and
Oscar H. Ibarra},
title = {Online Knapsack Problems with Limited Cuts},
booktitle = {Algorithms and Computation, 20th International Symposium, {ISAAC}
2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5878},
pages = {341--351},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10631-6\_36},
doi = {10.1007/978-3-642-10631-6\_36},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/HanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IshiiM09,
author = {Toshimasa Ishii and
Kazuhisa Makino},
editor = {Yingfei Dong and
Ding{-}Zhu Du and
Oscar H. Ibarra},
title = {Posi-modular Systems with Modulotone Requirements under Permutation
Constraints},
booktitle = {Algorithms and Computation, 20th International Symposium, {ISAAC}
2009, Honolulu, Hawaii, USA, December 16-18, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5878},
pages = {473--482},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10631-6\_49},
doi = {10.1007/978-3-642-10631-6\_49},
timestamp = {Fri, 19 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/IshiiM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/waoa/HanM09,
author = {Xin Han and
Kazuhisa Makino},
editor = {Evripidis Bampis and
Klaus Jansen},
title = {Online Minimization Knapsack Problem},
booktitle = {Approximation and Online Algorithms, 7th International Workshop, {WAOA}
2009, Copenhagen, Denmark, September 10-11, 2009. Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {5893},
pages = {182--193},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-12450-1\_17},
doi = {10.1007/978-3-642-12450-1\_17},
timestamp = {Thu, 23 Sep 2021 11:48:40 +0200},
biburl = {https://dblp.org/rec/conf/waoa/HanM09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0903-0422,
author = {Kazuhisa Makino and
Hirotaka Ono},
title = {Deductive Inference for the Interiors and Exteriors of Horn Theories},
journal = {CoRR},
volume = {abs/0903.0422},
year = {2009},
url = {http://arxiv.org/abs/0903.0422},
eprinttype = {arXiv},
eprint = {0903.0422},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-0903-0422.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/SakashitaMF08,
author = {Mariko Sakashita and
Kazuhisa Makino and
Satoru Fujishige},
title = {Minimum Cost Source Location Problems with Flow Requirements},
journal = {Algorithmica},
volume = {50},
number = {4},
pages = {555--583},
year = {2008},
url = {https://doi.org/10.1007/s00453-007-9012-y},
doi = {10.1007/S00453-007-9012-Y},
timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/SakashitaMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/KhachiyanBBEGM08,
author = {Leonid Khachiyan and
Endre Boros and
Konrad Borys and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {Generating Cut Conjunctions in Graphs and Related Problems},
journal = {Algorithmica},
volume = {51},
number = {3},
pages = {239--263},
year = {2008},
url = {https://doi.org/10.1007/s00453-007-9111-9},
doi = {10.1007/S00453-007-9111-9},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/KhachiyanBBEGM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/SakashitaMF08,
author = {Mariko Sakashita and
Kazuhisa Makino and
Satoru Fujishige},
title = {Minimizing a monotone concave function with laminar covering constraints},
journal = {Discret. Appl. Math.},
volume = {156},
number = {11},
pages = {2004--2019},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2007.04.016},
doi = {10.1016/J.DAM.2007.04.016},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/SakashitaMF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/EiterMG08,
author = {Thomas Eiter and
Kazuhisa Makino and
Georg Gottlob},
title = {Computational aspects of monotone dualization: {A} brief survey},
journal = {Discret. Appl. Math.},
volume = {156},
number = {11},
pages = {2035--2049},
year = {2008},
url = {https://doi.org/10.1016/j.dam.2007.04.017},
doi = {10.1016/J.DAM.2007.04.017},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/EiterMG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csr/BorosEGMO08,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino and
Vladimir Oudalov},
editor = {Edward A. Hirsch and
Alexander A. Razborov and
Alexei L. Semenov and
Anatol Slissenko},
title = {A Complete Characterization of Nash-Solvability of Bimatrix Games
in Terms of the Exclusion of Certain 2{\texttimes}2 Subgames},
booktitle = {Computer Science - Theory and Applications, Third International Computer
Science Symposium in Russia, {CSR} 2008, Moscow, Russia, June 7-12,
2008, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5010},
pages = {99--109},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-79709-8\_13},
doi = {10.1007/978-3-540-79709-8\_13},
timestamp = {Tue, 21 Mar 2023 21:00:47 +0100},
biburl = {https://dblp.org/rec/conf/csr/BorosEGMO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecai/EiterM08,
author = {Thomas Eiter and
Kazuhisa Makino},
editor = {Malik Ghallab and
Constantine D. Spyropoulos and
Nikos Fakotakis and
Nikolaos M. Avouris},
title = {New Results for Horn Cores and Envelopes of Horn Disjunctions},
booktitle = {{ECAI} 2008 - 18th European Conference on Artificial Intelligence,
Patras, Greece, July 21-25, 2008, Proceedings},
series = {Frontiers in Artificial Intelligence and Applications},
volume = {178},
pages = {60--64},
publisher = {{IOS} Press},
year = {2008},
url = {https://doi.org/10.3233/978-1-58603-891-5-60},
doi = {10.3233/978-1-58603-891-5-60},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ecai/EiterM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEM08,
author = {Endre Boros and
Khaled M. Elbassioni and
Kazuhisa Makino},
editor = {Luca Aceto and
Ivan Damg{\aa}rd and
Leslie Ann Goldberg and
Magn{\'{u}}s M. Halld{\'{o}}rsson and
Anna Ing{\'{o}}lfsd{\'{o}}ttir and
Igor Walukiewicz},
title = {On Berge Multiplication for Monotone Boolean Dualization},
booktitle = {Automata, Languages and Programming, 35th International Colloquium,
{ICALP} 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part
{I:} Tack {A:} Algorithms, Automata, Complexity, and Games},
series = {Lecture Notes in Computer Science},
volume = {5125},
pages = {48--59},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-70575-8\_5},
doi = {10.1007/978-3-540-70575-8\_5},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEM08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MakinoO08,
author = {Kazuhisa Makino and
Hirotaka Ono},
editor = {Seok{-}Hee Hong and
Hiroshi Nagamochi and
Takuro Fukunaga},
title = {Deductive Inference for the Interiors and Exteriors of Horn Theories},
booktitle = {Algorithms and Computation, 19th International Symposium, {ISAAC}
2008, Gold Coast, Australia, December 15-17, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5369},
pages = {390--401},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-92182-0\_36},
doi = {10.1007/978-3-540-92182-0\_36},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isaac/MakinoO08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KhachiyanBEGM07,
author = {Leonid Khachiyan and
Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {Enumerating disjunctions and conjunctions of paths and cuts in reliability
theory},
journal = {Discret. Appl. Math.},
volume = {155},
number = {2},
pages = {137--149},
year = {2007},
url = {https://doi.org/10.1016/j.dam.2006.04.032},
doi = {10.1016/J.DAM.2006.04.032},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/dam/KhachiyanBEGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/EiterM07,
author = {Thomas Eiter and
Kazuhisa Makino},
title = {On computing all abductive explanations from a propositional Horn
theory},
journal = {J. {ACM}},
volume = {54},
number = {5},
pages = {24},
year = {2007},
url = {https://doi.org/10.1145/1284320.1284323},
doi = {10.1145/1284320.1284323},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jacm/EiterM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KhachiyanBEGM07,
author = {Leonid Khachiyan and
Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {Dual-bounded generating problems: Efficient and inefficient points
for discrete probability distributions and sparse boxes for multidimensional
data},
journal = {Theor. Comput. Sci.},
volume = {379},
number = {3},
pages = {361--376},
year = {2007},
url = {https://doi.org/10.1016/j.tcs.2007.02.044},
doi = {10.1016/J.TCS.2007.02.044},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcs/KhachiyanBEGM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cccg/ElmasryM07,
author = {Amr Elmasry and
Kazuhisa Makino},
editor = {Prosenjit Bose},
title = {Finding Intersections of Bichromatic Segments Defined by Points},
booktitle = {Proceedings of the 19th Annual Canadian Conference on Computational
Geometry, {CCCG} 2007, August 20-22, 2007, Carleton University, Ottawa,
Canada},
pages = {269--272},
publisher = {Carleton University, Ottawa, Canada},
year = {2007},
url = {http://cccg.ca/proceedings/2007/12a2.pdf},
timestamp = {Wed, 12 May 2021 14:19:37 +0200},
biburl = {https://dblp.org/rec/conf/cccg/ElmasryM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/BorosBEGMR07,
author = {Endre Boros and
Konrad Borys and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino and
G{\'{a}}bor Rudolf},
editor = {Guohui Lin},
title = {Generating Minimal k-Vertex Connected Spanning Subgraphs},
booktitle = {Computing and Combinatorics, 13th Annual International Conference,
{COCOON} 2007, Banff, Canada, July 16-19, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4598},
pages = {222--231},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73545-8\_23},
doi = {10.1007/978-3-540-73545-8\_23},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cocoon/BorosBEGMR07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/faw/GaurM07,
author = {Daya Ram Gaur and
Kazuhisa Makino},
editor = {Franco P. Preparata and
Qizhi Fang},
title = {On the Fractional Chromatic Number of Monotone Self-dual Boolean Functions},
booktitle = {Frontiers in Algorithmics, First Annual International Workshop, {FAW}
2007, Lanzhou, China, August 1-3, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4613},
pages = {148--159},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-73814-5\_14},
doi = {10.1007/978-3-540-73814-5\_14},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/faw/GaurM07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/MakinoTY07,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
editor = {Jo{\~{a}}o Marques{-}Silva and
Karem A. Sakallah},
title = {On the Boolean Connectivity Problem for Horn Relations},
booktitle = {Theory and Applications of Satisfiability Testing - {SAT} 2007, 10th
International Conference, Lisbon, Portugal, May 28-31, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4501},
pages = {187--200},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-72788-0\_20},
doi = {10.1007/978-3-540-72788-0\_20},
timestamp = {Mon, 24 Feb 2020 19:23:27 +0100},
biburl = {https://dblp.org/rec/conf/sat/MakinoTY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/MakinoTY07,
author = {Kazuhisa Makino and
Suguru Tamaki and
Masaki Yamamoto},
title = {A Dichotomy Theorem within Schaefer for the Boolean Connectivity Problem},
journal = {Electron. Colloquium Comput. Complex.},
volume = {{TR07-029}},
year = {2007},
url = {https://eccc.weizmann.ac.il/eccc-reports/2007/TR07-029/index.html},
eprinttype = {ECCC},
eprint = {TR07-029},
timestamp = {Wed, 28 Sep 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eccc/MakinoTY07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/AsahiroHMOSY06,
author = {Yuichi Asahiro and
Takashi Horiyama and
Kazuhisa Makino and
Hirotaka Ono and
Toshinori Sakuma and
Masafumi Yamashita},
title = {How to collect balls moving in the Euclidean plane},
journal = {Discret. Appl. Math.},
volume = {154},
number = {16},
pages = {2247--2262},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2006.04.020},
doi = {10.1016/J.DAM.2006.04.020},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/AsahiroHMOSY06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoUI06,
author = {Kazuhisa Makino and
Yushi Uno and
Toshihide Ibaraki},
title = {Minimum edge ranking spanning trees of split graphs},
journal = {Discret. Appl. Math.},
volume = {154},
number = {16},
pages = {2373--2386},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2006.04.018},
doi = {10.1016/J.DAM.2006.04.018},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoUI06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MamadaUMF06,
author = {Satoko Mamada and
Takeaki Uno and
Kazuhisa Makino and
Satoru Fujishige},
title = {An O(n log\({}^{\mbox{2}}\)n) algorithm for the optimal sink location
problem in dynamic tree networks},
journal = {Discret. Appl. Math.},
volume = {154},
number = {16},
pages = {2387--2401},
year = {2006},
url = {https://doi.org/10.1016/j.dam.2006.04.010},
doi = {10.1016/J.DAM.2006.04.010},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MamadaUMF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/KhachiyanBBEGM06,
author = {Leonid Khachiyan and
Endre Boros and
Konrad Borys and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Yossi Azar and
Thomas Erlebach},
title = {Enumerating Spanning and Connected Subsets in Graphs and Matroids},
booktitle = {Algorithms - {ESA} 2006, 14th Annual European Symposium, Zurich, Switzerland,
September 11-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4168},
pages = {444--455},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841036\_41},
doi = {10.1007/11841036\_41},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/KhachiyanBBEGM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esa/SakashitaMNF06,
author = {Mariko Sakashita and
Kazuhisa Makino and
Hiroshi Nagamochi and
Satoru Fujishige},
editor = {Yossi Azar and
Thomas Erlebach},
title = {Minimum Transversals in Posi-modular Systems},
booktitle = {Algorithms - {ESA} 2006, 14th Annual European Symposium, Zurich, Switzerland,
September 11-13, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4168},
pages = {576--587},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11841036\_52},
doi = {10.1007/11841036\_52},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esa/SakashitaMNF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/SakashitaMF06,
author = {Mariko Sakashita and
Kazuhisa Makino and
Satoru Fujishige},
editor = {Jos{\'{e}} R. Correa and
Alejandro Hevia and
Marcos A. Kiwi},
title = {Minimum Cost Source Location Problems with Flow Requirements},
booktitle = {{LATIN} 2006: Theoretical Informatics, 7th Latin American Symposium,
Valdivia, Chile, March 20-24, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3887},
pages = {769--780},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11682462\_70},
doi = {10.1007/11682462\_70},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/SakashitaMF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/Makino05,
author = {Kazuhisa Makino},
title = {Special Section on Discrete Mathematics and Its Applications},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {88-A},
number = {5},
pages = {1103},
year = {2005},
url = {https://doi.org/10.1093/ietfec/e88-a.5.1103},
doi = {10.1093/IETFEC/E88-A.5.1103},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/Makino05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KhachiyanBEGM05,
author = {Leonid G. Khachiyan and
Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
title = {On the Complexity of Some Enumeration Problems for Matroids},
journal = {{SIAM} J. Discret. Math.},
volume = {19},
number = {4},
pages = {966--984},
year = {2005},
url = {https://doi.org/10.1137/S0895480103428338},
doi = {10.1137/S0895480103428338},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/KhachiyanBEGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/SakashitaMF05,
author = {Mariko Sakashita and
Kazuhisa Makino and
Satoru Fujishige},
editor = {Xiaotie Deng and
Ding{-}Zhu Du},
title = {Minimizing a Monotone Concave Function with Laminar Covering Constraints},
booktitle = {Algorithms and Computation, 16th International Symposium, {ISAAC}
2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3827},
pages = {71--81},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11602613\_9},
doi = {10.1007/11602613\_9},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/SakashitaMF05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KhachiyanBBEGM05,
author = {Leonid Khachiyan and
Endre Boros and
Konrad Borys and
Khaled M. Elbassioni and
Vladimir Gurvich and
Kazuhisa Makino},
editor = {Xiaotie Deng and
Ding{-}Zhu Du},
title = {Generating Cut Conjunctions and Bridge Avoiding Extensions in Graphs},
booktitle = {Algorithms and Computation, 16th International Symposium, {ISAAC}
2005, Sanya, Hainan, China, December 19-21, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3827},
pages = {156--165},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11602613\_17},
doi = {10.1007/11602613\_17},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isaac/KhachiyanBBEGM05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BorosGKM04,
author = {Endre Boros and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
title = {Dual-bounded generating problems: weighted transversals of a hypergraph},
journal = {Discret. Appl. Math.},
volume = {142},
number = {1-3},
pages = {1--15},
year = {2004},
url = {https://doi.org/10.1016/j.dam.2002.12.004},
doi = {10.1016/J.DAM.2002.12.004},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BorosGKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/FujishigeMTK04,
author = {Satoru Fujishige and
Kazuhisa Makino and
Takashi Takabatake and
Kenji Kashiwabara},
title = {Polybasic polyhedra: structure of polyhedra with edge vectors of support
size at most 2},
journal = {Discret. Math.},
volume = {280},
number = {1-3},
pages = {13--27},
year = {2004},
url = {https://doi.org/10.1016/j.disc.2003.06.005},
doi = {10.1016/J.DISC.2003.06.005},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dm/FujishigeMTK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/MamadaUMF04,
author = {Satoko Mamada and
Takeaki Uno and
Kazuhisa Makino and
Satoru Fujishige},
editor = {Jean{-}Jacques L{\'{e}}vy and
Ernst W. Mayr and
John C. Mitchell},
title = {An O(n log 2n) Algorithm for the Optimal Sink Location Problem in
Dynamic Tree Networks},
booktitle = {Exploring New Frontiers of Theoretical Informatics, {IFIP} 18th World
Computer Congress, {TC1} 3rd International Conference on Theoretical
Computer Science (TCS2004), 22-27 August 2004, Toulouse, France},
series = {{IFIP}},
volume = {155},
pages = {251--264},
publisher = {Kluwer/Springer},
year = {2004},
url = {https://doi.org/10.1007/1-4020-8141-3\_21},
doi = {10.1007/1-4020-8141-3\_21},
timestamp = {Fri, 27 Sep 2019 10:35:17 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/MamadaUMF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/BorosEGKM04,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Jir{\'{\i}} Fiala and
V{\'{a}}clav Koubek and
Jan Kratochv{\'{\i}}l},
title = {Generating Paths and Cuts in Multi-pole (Di)graphs},
booktitle = {Mathematical Foundations of Computer Science 2004, 29th International
Symposium, {MFCS} 2004, Prague, Czech Republic, August 22-27, 2004,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3153},
pages = {298--309},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-28629-5\_21},
doi = {10.1007/978-3-540-28629-5\_21},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/BorosEGKM04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/MakinoU04,
author = {Kazuhisa Makino and
Takeaki Uno},
editor = {Torben Hagerup and
Jyrki Katajainen},
title = {New Algorithms for Enumerating All Maximal Cliques},
booktitle = {Algorithm Theory - {SWAT} 2004, 9th Scandinavian Workshop on Algorithm
Theory, Humlebaek, Denmark, July 8-10, 2004, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3111},
pages = {260--272},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-27810-8\_23},
doi = {10.1007/978-3-540-27810-8\_23},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/swat/MakinoU04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AsahiroHMOSY04,
author = {Yuichi Asahiro and
Takashi Horiyama and
Kazuhisa Makino and
Hirotaka Ono and
Toshinori Sakuma and
Masafumi Yamashita},
editor = {Mike D. Atkinson},
title = {How to Collect Balls Moving in the Euclidean Plane},
booktitle = {Proceedings of Computing: The Australasian Theory Symposium, {CATS}
2004, Dunedin, New Zealand, January 19-20, 2004},
series = {Electronic Notes in Theoretical Computer Science},
volume = {91},
pages = {229--245},
publisher = {Elsevier},
year = {2004},
url = {https://doi.org/10.1016/j.entcs.2003.12.015},
doi = {10.1016/J.ENTCS.2003.12.015},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/AsahiroHMOSY04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/IbarakiKM03,
author = {Toshihide Ibaraki and
Alexander Kogan and
Kazuhisa Makino},
title = {Inferring Minimal Functional Dependencies in Horn and q-Horn Theories},
journal = {Ann. Math. Artif. Intell.},
volume = {38},
number = {4},
pages = {233--255},
year = {2003},
url = {https://doi.org/10.1023/A:1023098325064},
doi = {10.1023/A:1023098325064},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/IbarakiKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BorosGKM03,
author = {Endre Boros and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
title = {On Maximal Frequent and Minimal Infrequent Sets in Binary Matrices},
journal = {Ann. Math. Artif. Intell.},
volume = {39},
number = {3},
pages = {211--221},
year = {2003},
url = {https://doi.org/10.1023/A:1024605820527},
doi = {10.1023/A:1024605820527},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BorosGKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/amai/BorosHIMY03,
author = {Endre Boros and
Takashi Horiyama and
Toshihide Ibaraki and
Kazuhisa Makino and
Mutsunori Yagiura},
title = {Finding Essential Attributes from Binary Data},
journal = {Ann. Math. Artif. Intell.},
volume = {39},
number = {3},
pages = {223--257},
year = {2003},
url = {https://doi.org/10.1023/A:1024653703689},
doi = {10.1023/A:1024653703689},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/amai/BorosHIMY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Makino03,
author = {Kazuhisa Makino},
title = {Efficient dualization of O(log n)-term monotone disjunctive normal
forms},
journal = {Discret. Appl. Math.},
volume = {126},
number = {2-3},
pages = {305--312},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(02)00204-4},
doi = {10.1016/S0166-218X(02)00204-4},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/Makino03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoOI03,
author = {Kazuhisa Makino and
Hirotaka Ono and
Toshihide Ibaraki},
title = {Interior and exterior functions of positive Boolean functions},
journal = {Discret. Appl. Math.},
volume = {130},
number = {3},
pages = {417--436},
year = {2003},
url = {https://doi.org/10.1016/S0166-218X(02)00602-9},
doi = {10.1016/S0166-218X(02)00602-9},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoOI03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorosIM03,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Variations on extending partially defined Boolean functions with missing
bits},
journal = {Inf. Comput.},
volume = {180},
number = {1},
pages = {53--70},
year = {2003},
url = {https://doi.org/10.1016/S0890-5401(02)00012-3},
doi = {10.1016/S0890-5401(02)00012-3},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BorosIM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/oms/ItoMAHIF03,
author = {Hiro Ito and
Kazuhisa Makino and
Kouji Arata and
Shoji Honami and
Yuichiro Itatsu and
Satoru Fujishige},
title = {Source location problem with flow requirements in directed networks},
journal = {Optim. Methods Softw.},
volume = {18},
number = {4},
pages = {427--435},
year = {2003},
url = {https://doi.org/10.1080/1055-6780309510593},
doi = {10.1080/1055-6780309510593},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/oms/ItoMAHIF03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EiterGM03,
author = {Thomas Eiter and
Georg Gottlob and
Kazuhisa Makino},
title = {New Results on Monotone Dualization and Generating Hypergraph Transversals},
journal = {{SIAM} J. Comput.},
volume = {32},
number = {2},
pages = {514--537},
year = {2003},
url = {https://doi.org/10.1137/S009753970240639X},
doi = {10.1137/S009753970240639X},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EiterGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/EiterM03,
author = {Thomas Eiter and
Kazuhisa Makino},
editor = {Matthias Baaz and
Johann A. Makowsky},
title = {Generating All Abductive Explanations for Queries on Propositional
Horn Theories},
booktitle = {Computer Science Logic, 17th International Workshop, {CSL} 2003, 12th
Annual Conference of the EACSL, and 8th Kurt G{\"{o}}del Colloquium,
{KGC} 2003, Vienna, Austria, August 25-30, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2803},
pages = {197--211},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45220-1\_18},
doi = {10.1007/978-3-540-45220-1\_18},
timestamp = {Tue, 14 May 2019 10:00:42 +0200},
biburl = {https://dblp.org/rec/conf/csl/EiterM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dis/EiterM03,
author = {Thomas Eiter and
Kazuhisa Makino},
editor = {Gunter Grieser and
Yuzuru Tanaka and
Akihiro Yamamoto},
title = {Abduction and the Dualization Problem},
booktitle = {Discovery Science, 6th International Conference, {DS} 2003, Sapporo,
Japan, October 17-19,2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2843},
pages = {1--20},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-39644-4\_1},
doi = {10.1007/978-3-540-39644-4\_1},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/dis/EiterM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEGKM03,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Jos C. M. Baeten and
Jan Karel Lenstra and
Joachim Parrow and
Gerhard J. Woeginger},
title = {An Intersection Inequality for Discrete Distributions and Related
Generation Problems},
booktitle = {Automata, Languages and Programming, 30th International Colloquium,
{ICALP} 2003, Eindhoven, The Netherlands, June 30 - July 4, 2003.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2719},
pages = {543--555},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/3-540-45061-0\_44},
doi = {10.1007/3-540-45061-0\_44},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEGKM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/algorithmica/MakinoYK02,
author = {Kazuhisa Makino and
Masafumi Yamashita and
Tiko Kameda},
title = {Max- and Min-Neighborhood Monopolies},
journal = {Algorithmica},
volume = {34},
number = {3},
pages = {240--260},
year = {2002},
url = {https://doi.org/10.1007/s00453-002-0963-8},
doi = {10.1007/S00453-002-0963-8},
timestamp = {Wed, 17 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/algorithmica/MakinoYK02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieiceta/MamadaMF02,
author = {Satoko Mamada and
Kazuhisa Makino and
Satoru Fujishige},
title = {Optimal Sink Location Problem for Dynamic Flows in a Tree Network},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {85-A},
number = {5},
pages = {1020--1025},
year = {2002},
url = {http://search.ieice.org/bin/summary.php?id=e85-a\_5\_1020},
timestamp = {Wed, 09 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieiceta/MamadaMF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/EiterIM02,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Recognition and dualization of disguised bidual Horn functions},
journal = {Inf. Process. Lett.},
volume = {82},
number = {6},
pages = {283--291},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(01)00301-5},
doi = {10.1016/S0020-0190(01)00301-5},
timestamp = {Fri, 26 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/EiterIM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/MakinoTF02,
author = {Kazuhisa Makino and
Takashi Takabatake and
Satoru Fujishige},
title = {A simple matching algorithm for regular bipartite graphs},
journal = {Inf. Process. Lett.},
volume = {84},
number = {4},
pages = {189--193},
year = {2002},
url = {https://doi.org/10.1016/S0020-0190(02)00273-9},
doi = {10.1016/S0020-0190(02)00273-9},
timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ipl/MakinoTF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/ArataIMF02,
author = {Kouji Arata and
Satoru Iwata and
Kazuhisa Makino and
Satoru Fujishige},
title = {Locating Sources to Meet Flow Demands in Undirected Networks},
journal = {J. Algorithms},
volume = {42},
number = {1},
pages = {54--68},
year = {2002},
url = {https://doi.org/10.1006/jagm.2001.1203},
doi = {10.1006/JAGM.2001.1203},
timestamp = {Wed, 16 May 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/ArataIMF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/Makino02,
author = {Kazuhisa Makino},
title = {A linear time algorithm for recognizing regular Boolean functions},
journal = {J. Algorithms},
volume = {43},
number = {2},
pages = {155--176},
year = {2002},
url = {https://doi.org/10.1016/S0196-6774(02)00003-2},
doi = {10.1016/S0196-6774(02)00003-2},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/Makino02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BorosEGKM02,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
title = {Dual-Bounded Generating Problems: All Minimal Integer Solutions for
a Monotone System of Linear Inequalities},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {5},
pages = {1624--1643},
year = {2002},
url = {https://doi.org/10.1137/S0097539701388768},
doi = {10.1137/S0097539701388768},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BorosEGKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/EiterIM02,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Decision lists and related Boolean functions},
journal = {Theor. Comput. Sci.},
volume = {270},
number = {1-2},
pages = {493--524},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00003-2},
doi = {10.1016/S0304-3975(01)00003-2},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/EiterIM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/OnoMI02,
author = {Hirotaka Ono and
Kazuhisa Makino and
Toshihide Ibaraki},
title = {Logical analysis of data with decomposable structures},
journal = {Theor. Comput. Sci.},
volume = {289},
number = {2},
pages = {977--995},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00413-3},
doi = {10.1016/S0304-3975(01)00413-3},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/OnoMI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterM02,
author = {Thomas Eiter and
Kazuhisa Makino},
editor = {Rina Dechter and
Michael J. Kearns and
Richard S. Sutton},
title = {On Computing all Abductive Explanations},
booktitle = {Proceedings of the Eighteenth National Conference on Artificial Intelligence
and Fourteenth Conference on Innovative Applications of Artificial
Intelligence, July 28 - August 1, 2002, Edmonton, Alberta, Canada},
pages = {62--67},
publisher = {{AAAI} Press / The {MIT} Press},
year = {2002},
url = {http://www.aaai.org/Library/AAAI/2002/aaai02-010.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MakinoUI02,
author = {Kazuhisa Makino and
Yushi Uno and
Toshihide Ibaraki},
editor = {Prosenjit Bose and
Pat Morin},
title = {Minimum Edge Ranking Spanning Trees of Threshold Graphs},
booktitle = {Algorithms and Computation, 13th International Symposium, {ISAAC}
2002 Vancouver, BC, Canada, November 21-23, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2518},
pages = {428--440},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36136-7\_38},
doi = {10.1007/3-540-36136-7\_38},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/MakinoUI02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/BorosGKM02,
author = {Endre Boros and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Helmut Alt and
Afonso Ferreira},
title = {On the Complexity of Generating Maximal Frequent and Minimal Infrequent
Sets},
booktitle = {{STACS} 2002, 19th Annual Symposium on Theoretical Aspects of Computer
Science, Antibes - Juan les Pins, France, March 14-16, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2285},
pages = {133--141},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45841-7\_10},
doi = {10.1007/3-540-45841-7\_10},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/BorosGKM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stoc/EiterGM02,
author = {Thomas Eiter and
Georg Gottlob and
Kazuhisa Makino},
editor = {John H. Reif},
title = {New results on monotone dualization and generating hypergraph transversals},
booktitle = {Proceedings on 34th Annual {ACM} Symposium on Theory of Computing,
May 19-21, 2002, Montr{\'{e}}al, Qu{\'{e}}bec, Canada},
pages = {14--22},
publisher = {{ACM}},
year = {2002},
url = {https://doi.org/10.1145/509907.509912},
doi = {10.1145/509907.509912},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/stoc/EiterGM02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-DS-0204009,
author = {Thomas Eiter and
Georg Gottlob and
Kazuhisa Makino},
title = {New Results on Monotone Dualization and Generating Hypergraph Transversals},
journal = {CoRR},
volume = {cs.DS/0204009},
year = {2002},
url = {https://arxiv.org/abs/cs/0204009},
timestamp = {Fri, 10 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/cs-DS-0204009.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/IbarakiKM01,
author = {Toshihide Ibaraki and
Alexander Kogan and
Kazuhisa Makino},
title = {On functional dependencies in q-Horn theories},
journal = {Artif. Intell.},
volume = {131},
number = {1-2},
pages = {171--187},
year = {2001},
url = {https://doi.org/10.1016/S0004-3702(01)00118-7},
doi = {10.1016/S0004-3702(01)00118-7},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/IbarakiKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/RanderathSBHKMSC01,
author = {Bert Randerath and
Ewald Speckenmeyer and
Endre Boros and
Peter L. Hammer and
Alexander Kogan and
Kazuhisa Makino and
Bruno Simeone and
Ondrej Cepek},
title = {A Satisfiability Formulation of Problems on Level Graphs},
journal = {Electron. Notes Discret. Math.},
volume = {9},
pages = {269--277},
year = {2001},
url = {https://doi.org/10.1016/S1571-0653(04)00327-0},
doi = {10.1016/S1571-0653(04)00327-0},
timestamp = {Thu, 20 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/endm/RanderathSBHKMSC01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/MakinoUI01,
author = {Kazuhisa Makino and
Yushi Uno and
Toshihide Ibaraki},
title = {On Minimum Edge Ranking Spanning Trees},
journal = {J. Algorithms},
volume = {38},
number = {2},
pages = {411--437},
year = {2001},
url = {https://doi.org/10.1006/jagm.2000.1143},
doi = {10.1006/JAGM.2000.1143},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/MakinoUI01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/EiterIM01,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Disjunctions of Horn Theories and Their Cores},
journal = {{SIAM} J. Comput.},
volume = {31},
number = {1},
pages = {269--288},
year = {2001},
url = {https://doi.org/10.1137/S0097539799350840},
doi = {10.1137/S0097539799350840},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/EiterIM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/MakinoK01,
author = {Kazuhisa Makino and
Tiko Kameda},
title = {Transformations on Regular Nondominated Coteries and Their Applications},
journal = {{SIAM} J. Discret. Math.},
volume = {14},
number = {3},
pages = {381--407},
year = {2001},
url = {https://doi.org/10.1137/S0895480100371110},
doi = {10.1137/S0895480100371110},
timestamp = {Sat, 25 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamdm/MakinoK01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosEGKM01,
author = {Endre Boros and
Khaled M. Elbassioni and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Fernando Orejas and
Paul G. Spirakis and
Jan van Leeuwen},
title = {On Generating All Minimal Integer Solutions for a Monotone System
of Linear Inequalities},
booktitle = {Automata, Languages and Programming, 28th International Colloquium,
{ICALP} 2001, Crete, Greece, July 8-12, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2076},
pages = {92--103},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-48224-5\_8},
doi = {10.1007/3-540-48224-5\_8},
timestamp = {Fri, 09 Apr 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosEGKM01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/EiterIM00,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {On the Difference of Horn Theories},
journal = {J. Comput. Syst. Sci.},
volume = {61},
number = {3},
pages = {478--507},
year = {2000},
url = {https://doi.org/10.1006/jcss.2000.1719},
doi = {10.1006/JCSS.2000.1719},
timestamp = {Tue, 16 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jcss/EiterIM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/BorosGKM00,
author = {Endre Boros and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
title = {Dual-Bounded Generating Problems: Partial and Multiple Transversals
of a Hypergraph},
journal = {{SIAM} J. Comput.},
volume = {30},
number = {6},
pages = {2036--2050},
year = {2000},
url = {https://doi.org/10.1137/S0097539700370072},
doi = {10.1137/S0097539700370072},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/BorosGKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cocoon/OnoMI00,
author = {Hirotaka Ono and
Kazuhisa Makino and
Toshihide Ibaraki},
editor = {Ding{-}Zhu Du and
Peter Eades and
Vladimir Estivill{-}Castro and
Xuemin Lin and
Arun Sharma},
title = {Logical Analysis of Data with Decomposable Structures},
booktitle = {Computing and Combinatorics, 6th Annual International Conference,
{COCOON} 2000, Sydney, Australia, July 26-28, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1858},
pages = {396--406},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44968-X\_39},
doi = {10.1007/3-540-44968-X\_39},
timestamp = {Fri, 29 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cocoon/OnoMI00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BorosGKM00,
author = {Endre Boros and
Vladimir Gurvich and
Leonid Khachiyan and
Kazuhisa Makino},
editor = {Ugo Montanari and
Jos{\'{e}} D. P. Rolim and
Emo Welzl},
title = {Generating Partial and Multiple Transversals of a Hypergraph},
booktitle = {Automata, Languages and Programming, 27th International Colloquium,
{ICALP} 2000, Geneva, Switzerland, July 9-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1853},
pages = {588--599},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-45022-X\_50},
doi = {10.1007/3-540-45022-X\_50},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/BorosGKM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ideal/BorosHIMY00,
author = {Endre Boros and
Takashi Horiyama and
Toshihide Ibaraki and
Kazuhisa Makino and
Mutsunori Yagiura},
editor = {Kwong{-}Sak Leung and
Lai{-}Wan Chan and
Helen Meng},
title = {Finding Essential Attributes in Binary Data},
booktitle = {Intelligent Data Engineering and Automated Learning - {IDEAL} 2000,
Data Mining, Financial Engineering, and Intelligent Agents, Second
International Conference, Shatin, {N.T.} Hong Kong, China, December
13-15, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1983},
pages = {133--138},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44491-2\_20},
doi = {10.1007/3-540-44491-2\_20},
timestamp = {Tue, 14 May 2019 10:00:45 +0200},
biburl = {https://dblp.org/rec/conf/ideal/BorosHIMY00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifipTCS/BorosIM00,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Jan van Leeuwen and
Osamu Watanabe and
Masami Hagiya and
Peter D. Mosses and
Takayasu Ito},
title = {Fully Consistent Extensions of Partially Defined Boolean Functions
with Missing Bits},
booktitle = {Theoretical Computer Science, Exploring New Frontiers of Theoretical
Informatics, International Conference {IFIP} {TCS} 2000, Sendai, Japan,
August 17-19, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1872},
pages = {257--272},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44929-9\_20},
doi = {10.1007/3-540-44929-9\_20},
timestamp = {Tue, 14 May 2019 10:00:36 +0200},
biburl = {https://dblp.org/rec/conf/ifipTCS/BorosIM00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/podc/MakinoK00,
author = {Kazuhisa Makino and
Tiko Kameda},
editor = {Gil Neiger},
title = {Efficient generation of all regular non-dominated coteries},
booktitle = {Proceedings of the Nineteenth Annual {ACM} Symposium on Principles
of Distributed Computing, July 16-19, 2000, Portland, Oregon, {USA}},
pages = {279--288},
publisher = {{ACM}},
year = {2000},
url = {https://doi.org/10.1145/343477.343629},
doi = {10.1145/343477.343629},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/podc/MakinoK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/ArataIMF00,
author = {Kouji Arata and
Satoru Iwata and
Kazuhisa Makino and
Satoru Fujishige},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson},
title = {Locating Sources to Meet Flow Demands in Undirected Networks},
booktitle = {Algorithm Theory - {SWAT} 2000, 7th Scandinavian Workshop on Algorithm
Theory, Bergen, Norway, July 5-7, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1851},
pages = {300--313},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44985-X\_27},
doi = {10.1007/3-540-44985-X\_27},
timestamp = {Fri, 27 Mar 2020 08:50:36 +0100},
biburl = {https://dblp.org/rec/conf/swat/ArataIMF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/MakinoYK00,
author = {Kazuhisa Makino and
Masafumi Yamashita and
Tiko Kameda},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson},
title = {Max- and Min-Neighborhood Monopolies},
booktitle = {Algorithm Theory - {SWAT} 2000, 7th Scandinavian Workshop on Algorithm
Theory, Bergen, Norway, July 5-7, 2000, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1851},
pages = {513--526},
publisher = {Springer},
year = {2000},
url = {https://doi.org/10.1007/3-540-44985-X\_43},
doi = {10.1007/3-540-44985-X\_43},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/swat/MakinoYK00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/BorosIM99,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Logical Analysis of Binary Data with Missing Bits},
journal = {Artif. Intell.},
volume = {107},
number = {2},
pages = {219--263},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(98)00110-6},
doi = {10.1016/S0004-3702(98)00110-6},
timestamp = {Sun, 02 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/BorosIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/IbarakiKM99,
author = {Toshihide Ibaraki and
Alexander Kogan and
Kazuhisa Makino},
title = {Functional Dependencies in Horn Theories},
journal = {Artif. Intell.},
volume = {108},
number = {1-2},
pages = {1--30},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(98)00114-3},
doi = {10.1016/S0004-3702(98)00114-3},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/IbarakiKM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/EiterIM99,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Computing Intersections of Horn Theories for Reasoning with Models},
journal = {Artif. Intell.},
volume = {110},
number = {1},
pages = {57--101},
year = {1999},
url = {https://doi.org/10.1016/S0004-3702(99)00021-1},
doi = {10.1016/S0004-3702(99)00021-1},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/EiterIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/EiterIM99,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Bidual Horn Functions and Extensions},
journal = {Discret. Appl. Math.},
volume = {96-97},
pages = {55--88},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(99)00033-5},
doi = {10.1016/S0166-218X(99)00033-5},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/EiterIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/BiochIM99,
author = {Jan C. Bioch and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Minimum Self-dual Decompositions of Positive Dual-minor Boolean Functions},
journal = {Discret. Appl. Math.},
volume = {96-97},
pages = {307--326},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(99)00096-7},
doi = {10.1016/S0166-218X(99)00096-7},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/BiochIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoI99,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
title = {Inner-core and Outer-core Functions of Partially Defined Boolean Functions},
journal = {Discret. Appl. Math.},
volume = {96-97},
pages = {443--460},
year = {1999},
url = {https://doi.org/10.1016/S0166-218X(99)00101-8},
doi = {10.1016/S0166-218X(99)00101-8},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MakinoHI99,
author = {Kazuhisa Makino and
Ken'ichi Hatanaka and
Toshihide Ibaraki},
title = {Horn Extensions of a Partially Defined Boolean Function},
journal = {{SIAM} J. Comput.},
volume = {28},
number = {6},
pages = {2168--2186},
year = {1999},
url = {https://doi.org/10.1137/S0097539796297954},
doi = {10.1137/S0097539796297954},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/MakinoHI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Makino99,
author = {Kazuhisa Makino},
editor = {Alok Aggarwal and
C. Pandu Rangan},
title = {A Linear Time Algorithm for Recognizing Regular Boolean Functions},
booktitle = {Algorithms and Computation, 10th International Symposium, {ISAAC}
'99, Chennai, India, December 16-18, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1741},
pages = {259--268},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-46632-0\_27},
doi = {10.1007/3-540-46632-0\_27},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/Makino99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/MakinoUI99,
author = {Kazuhisa Makino and
Yushi Uno and
Toshihide Ibaraki},
editor = {Miroslaw Kutylowski and
Leszek Pacholski and
Tomasz Wierzbicki},
title = {On Minimum Edge Ranking Spanning Trees},
booktitle = {Mathematical Foundations of Computer Science 1999, 24th International
Symposium, MFCS'99, Szklarska Poreba, Poland, September 6-10, 1999,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1672},
pages = {398--409},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48340-3\_36},
doi = {10.1007/3-540-48340-3\_36},
timestamp = {Tue, 14 May 2019 10:00:37 +0200},
biburl = {https://dblp.org/rec/conf/mfcs/MakinoUI99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EiterIM99,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Christoph Meinel and
Sophie Tison},
title = {On the Difference of Horn Theories},
booktitle = {{STACS} 99, 16th Annual Symposium on Theoretical Aspects of Computer
Science, Trier, Germany, March 4-6, 1999, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1563},
pages = {467--477},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-49116-3\_44},
doi = {10.1007/3-540-49116-3\_44},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EiterIM99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/BorosIM98,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Error-Free and Best-Fit Extensions of Partially Defined Boolean Functions},
journal = {Inf. Comput.},
volume = {140},
number = {2},
pages = {254--283},
year = {1998},
url = {https://doi.org/10.1006/inco.1997.2687},
doi = {10.1006/INCO.1997.2687},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/BorosIM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/EiterIM98,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
title = {Double Horn Functions},
journal = {Inf. Comput.},
volume = {144},
number = {2},
pages = {155--190},
year = {1998},
url = {https://doi.org/10.1006/inco.1998.2713},
doi = {10.1006/INCO.1998.2713},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iandc/EiterIM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jal/MakinoI98,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
title = {A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean
Functions},
journal = {J. Algorithms},
volume = {26},
number = {2},
pages = {291--305},
year = {1998},
url = {https://doi.org/10.1006/jagm.1997.0896},
doi = {10.1006/JAGM.1997.0896},
timestamp = {Sun, 28 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jal/MakinoI98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/EiterIM98,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Jack Mostow and
Chuck Rich},
title = {Computing Intersections of Horn Theories for Reasoning with Models},
booktitle = {Proceedings of the Fifteenth National Conference on Artificial Intelligence
and Tenth Innovative Applications of Artificial Intelligence Conference,
{AAAI} 98, {IAAI} 98, July 26-30, 1998, Madison, Wisconsin, {USA}},
pages = {292--297},
publisher = {{AAAI} Press / The {MIT} Press},
year = {1998},
url = {http://www.aaai.org/Library/AAAI/1998/aaai98-041.php},
timestamp = {Tue, 05 Sep 2023 09:10:47 +0200},
biburl = {https://dblp.org/rec/conf/aaai/EiterIM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/EiterIM98,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Kyung{-}Yong Chwa and
Oscar H. Ibarra},
title = {Disjunctions of Horn Theories and Their Cores},
booktitle = {Algorithms and Computation, 9th International Symposium, {ISAAC} '98,
Taejon, Korea, December 14-16, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1533},
pages = {49--58},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/3-540-49381-6\_7},
doi = {10.1007/3-540-49381-6\_7},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/EiterIM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/EiterIM98,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Michel Morvan and
Christoph Meinel and
Daniel Krob},
title = {On Disguised Double Horn Functions and Extensions},
booktitle = {{STACS} 98, 15th Annual Symposium on Theoretical Aspects of Computer
Science, Paris, France, February 25-27, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1373},
pages = {50--60},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0028548},
doi = {10.1007/BFB0028548},
timestamp = {Tue, 14 May 2019 10:00:48 +0200},
biburl = {https://dblp.org/rec/conf/stacs/EiterIM98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoYI97,
author = {Kazuhisa Makino and
Kojin Yano and
Toshihide Ibaraki},
title = {Positive and Horn Decomposability of Partially Defined Boolean Functions},
journal = {Discret. Appl. Math.},
volume = {74},
number = {3},
pages = {251--274},
year = {1997},
url = {https://doi.org/10.1016/S0166-218X(96)00053-4},
doi = {10.1016/S0166-218X(96)00053-4},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoYI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/MakinoI97,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
title = {The Maximum Latency and Identification of Positive Boolean Functions},
journal = {{SIAM} J. Comput.},
volume = {26},
number = {5},
pages = {1363--1383},
year = {1997},
url = {https://doi.org/10.1137/S0097539794276324},
doi = {10.1137/S0097539794276324},
timestamp = {Sat, 27 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/siamcomp/MakinoI97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alt/BorosIM97,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Ming Li and
Akira Maruoka},
title = {Monotone Extensions of Boolean Data Sets},
booktitle = {Algorithmic Learning Theory, 8th International Conference, {ALT} '97,
Sendai, Japan, October 6-8, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1316},
pages = {161--175},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63577-7\_42},
doi = {10.1007/3-540-63577-7\_42},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/alt/BorosIM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/EiterIM97,
author = {Thomas Eiter and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Hon Wai Leong and
Hiroshi Imai and
Sanjay Jain},
title = {Two-Face Horn Extensions},
booktitle = {Algorithms and Computation, 8th International Symposium, {ISAAC} '97,
Singapore, December 17-19, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1350},
pages = {112--121},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/3-540-63890-3\_13},
doi = {10.1007/3-540-63890-3\_13},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/EiterIM97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/MakinoI96,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
title = {Interior and Exterior Functions of Boolean Functions},
journal = {Discret. Appl. Math.},
volume = {69},
number = {3},
pages = {209--231},
year = {1996},
url = {https://doi.org/10.1016/0166-218X(95)00092-6},
doi = {10.1016/0166-218X(95)00092-6},
timestamp = {Thu, 11 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dam/MakinoI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/codas/MakinoSYI96,
author = {Kazuhisa Makino and
Takashi Suda and
Kojin Yano and
Toshihide Ibaraki},
editor = {Yahiko Kambayashi and
Kazumasa Yokota},
title = {Data Analysis by Positive Decision Trees},
booktitle = {Proceedings of the International Symposium on Cooperative Database
Systems for Advanced Applications, Kyoto, Japan December 5-7, 1996},
pages = {257--264},
publisher = {World Scientific},
year = {1996},
timestamp = {Fri, 02 Aug 2019 08:43:55 +0200},
biburl = {https://dblp.org/rec/conf/codas/MakinoSYI96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/BorosIM96,
author = {Endre Boros and
Toshihide Ibaraki and
Kazuhisa Makino},
editor = {Rolf G. Karlsson and
Andrzej Lingas},
title = {Boolean Analysis of Incomplete Examples},
booktitle = {Algorithm Theory - {SWAT} '96, 5th Scandinavian Workshop on Algorithm
Theory, Reykjav{\'{\i}}k, Iceland, July 3-5, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1097},
pages = {440--451},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61422-2\_152},
doi = {10.1007/3-540-61422-2\_152},
timestamp = {Tue, 14 May 2019 10:00:39 +0200},
biburl = {https://dblp.org/rec/conf/swat/BorosIM96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MakinoI95,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
editor = {John Staples and
Peter Eades and
Naoki Katoh and
Alistair Moffat},
title = {A Fast and Simple Algorithm for Identifying 2-Monotonic Positive Boolean
Functions},
booktitle = {Algorithms and Computation, 6th International Symposium, {ISAAC} '95,
Cairns, Australia, December 4-6, 1995, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1004},
pages = {291--300},
publisher = {Springer},
year = {1995},
url = {https://doi.org/10.1007/BFb0015434},
doi = {10.1007/BFB0015434},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/MakinoI95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MakinoI94,
author = {Kazuhisa Makino and
Toshihide Ibaraki},
editor = {Ding{-}Zhu Du and
Xiang{-}Sun Zhang},
title = {The Maximum Latency and Identification of Positive Boolean Functions},
booktitle = {Algorithms and Computation, 5th International Symposium, {ISAAC} '94,
Beijing, P. R. China, August 25-27, 1994, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {834},
pages = {324--332},
publisher = {Springer},
year = {1994},
url = {https://doi.org/10.1007/3-540-58325-4\_196},
doi = {10.1007/3-540-58325-4\_196},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/isaac/MakinoI94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-04-08 01:00 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
