Search dblp for Publications

export results for "toc:db/conf/isaac/isaac94.bht:"

 download as .bib file

@inproceedings{DBLP:conf/isaac/AbuaiadhK94,
  author       = {Diab Abuaiadh and
                  Jeffrey H. Kingston},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Are Fibonacci Heaps Optimal?},
  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        = {442--450},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_210},
  doi          = {10.1007/3-540-58325-4\_210},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/AbuaiadhK94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Akutsu94,
  author       = {Tatsuya Akutsu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On Determining the Congruity of Point Sets in Higher Dimensions},
  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        = {38--46},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_164},
  doi          = {10.1007/3-540-58325-4\_164},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Akutsu94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/AkutsuH94,
  author       = {Tatsuya Akutsu and
                  Magn{\'{u}}s M. Halld{\'{o}}rsson},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On the Approximation of Largest Common Subtrees and Largest Common
                  Point Sets},
  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        = {405--413},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_205},
  doi          = {10.1007/3-540-58325-4\_205},
  timestamp    = {Fri, 09 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/AkutsuH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Ambos-SpiesTZ94,
  author       = {Klaus Ambos{-}Spies and
                  Sebastiaan Terwijn and
                  Xizhong Zheng},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Resource Bounded Randomness and Weakly Complete Problems},
  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        = {369--377},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_201},
  doi          = {10.1007/3-540-58325-4\_201},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Ambos-SpiesTZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ArikatiM94,
  author       = {Srinivasa Rao Arikati and
                  Anil Maheshwari},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Realizing Degree Sequences in Parallel},
  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        = {261--269},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_189},
  doi          = {10.1007/3-540-58325-4\_189},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ArikatiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ArvindKS94,
  author       = {Vikraman Arvind and
                  Johannes K{\"{o}}bler and
                  Rainer Schuler},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On Helping and Interactive Proof Systems},
  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        = {137--145},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_175},
  doi          = {10.1007/3-540-58325-4\_175},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ArvindKS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Asano94,
  author       = {Tetsuo Asano},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Reporting and Counting Intersections of Lines within a Polygon},
  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        = {652--659},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_234},
  doi          = {10.1007/3-540-58325-4\_234},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Asano94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BaoI94,
  author       = {Feng Bao and
                  Yoshihide Igarashi},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Randomized Algorithm to Finite Automata Public Key Cryptosystem},
  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        = {678--686},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_237},
  doi          = {10.1007/3-540-58325-4\_237},
  timestamp    = {Mon, 06 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/BaoI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Biehl94,
  author       = {Ingrid Biehl},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Definition and Existence of Super Complexity Cores},
  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        = {600--606},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_228},
  doi          = {10.1007/3-540-58325-4\_228},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Biehl94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BookW94,
  author       = {Ronald V. Book and
                  Osamu Watanabe},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On Random Hard Sets for {NP}},
  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        = {47--55},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_165},
  doi          = {10.1007/3-540-58325-4\_165},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/BookW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/BoseHT94,
  author       = {Prosenjit Bose and
                  Michael E. Houle and
                  Godfried T. Toussaint},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Every Set of Disjoint Line Segments Admits a Binary Tree},
  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        = {20--28},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_162},
  doi          = {10.1007/3-540-58325-4\_162},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/BoseHT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/CaiH94,
  author       = {Jin{-}yi Cai and
                  Michael D. Hirsch},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Rotation Distance, Triangulations of Planar Surfaces and Hyperbolic
                  Geometry},
  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        = {172--180},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_179},
  doi          = {10.1007/3-540-58325-4\_179},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/CaiH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/CarlssonCM94,
  author       = {Svante Carlsson and
                  Jingsen Chen and
                  Christer Mattsson},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Heaps with Bits},
  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        = {288--296},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_192},
  doi          = {10.1007/3-540-58325-4\_192},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/CarlssonCM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Chen94,
  author       = {Jingsen Chen},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Average Cost to Produce Partial Orders},
  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        = {155--163},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_177},
  doi          = {10.1007/3-540-58325-4\_177},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Chen94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Chen94a,
  author       = {Lin Chen},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Revisiting Circular Arc Graphs},
  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        = {559--566},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_223},
  doi          = {10.1007/3-540-58325-4\_223},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Chen94a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ChenH94,
  author       = {Danny Z. Chen and
                  Xiaobo Hu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Fast and Efficient Operations on Parallel Priority Queues},
  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        = {279--287},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_191},
  doi          = {10.1007/3-540-58325-4\_191},
  timestamp    = {Tue, 13 Apr 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ChenH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ChenS94,
  author       = {Yongmao Chen and
                  Terence R. Smith},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Finitely Representables Spatial Objects and Efficient Computation},
  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        = {181--189},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_180},
  doi          = {10.1007/3-540-58325-4\_180},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ChenS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ChinW94,
  author       = {Francis Y. L. Chin and
                  Cao An Wang},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On Greedy Tetrahedralization of Points in 3D},
  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        = {532--540},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_220},
  doi          = {10.1007/3-540-58325-4\_220},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ChinW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Deng94,
  author       = {Xiaotie Deng},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Convex Hull Algorithm on Coarse-Grained Multiprocessors},
  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        = {634--64},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_232},
  doi          = {10.1007/3-540-58325-4\_232},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Deng94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Ding94,
  author       = {Jiyu Ding},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {The Generating Algorithm for Quasi-Full Steiner Trees},
  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        = {428--432},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_208},
  doi          = {10.1007/3-540-58325-4\_208},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Ding94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/FortnowR94,
  author       = {Lance Fortnow and
                  John D. Rogers},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Separability and One-Way 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        = {396--404},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_204},
  doi          = {10.1007/3-540-58325-4\_204},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/FortnowR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/FujiyoshiKN94,
  author       = {Kunihiro Fujiyoshi and
                  Yoji Kajitani and
                  Hiroshi Niitsu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {The Totally-Perfect Bipartite Graph and Its Construction},
  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        = {541--549},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_221},
  doi          = {10.1007/3-540-58325-4\_221},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/FujiyoshiKN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GathenS94,
  author       = {Joachim von zur Gathen and
                  Igor E. Shparlinski},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Components and Projections of Curves over Finite Fields},
  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        = {297--305},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_193},
  doi          = {10.1007/3-540-58325-4\_193},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/GathenS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GopalakrishnanR94,
  author       = {C. P. Gopalakrishnan and
                  C. Pandu Rangan},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Edge-Disjoint Paths in Permutation Graphs},
  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        = {208--216},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_183},
  doi          = {10.1007/3-540-58325-4\_183},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/GopalakrishnanR94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Graham94,
  author       = {Ronald L. Graham},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Quasi-Random Combinatorial Structures (Abstract)},
  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        = {10},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_160},
  doi          = {10.1007/3-540-58325-4\_160},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Graham94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Gu94,
  author       = {Jun Gu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Multispace Search: {A} New Optimization Approach},
  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        = {252--260},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_188},
  doi          = {10.1007/3-540-58325-4\_188},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Gu94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GuG94,
  author       = {Jun Gu and
                  Qian{-}Ping Gu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Average Time Complexity of the {SAT} 1.2 Algorithm},
  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        = {146--154},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_176},
  doi          = {10.1007/3-540-58325-4\_176},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/GuG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/GuP94,
  author       = {Qian{-}Ping Gu and
                  Shietung Peng},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {k-Pairwise Cluster Fault Tolerant Routing in Hypercubes},
  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        = {342--350},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_198},
  doi          = {10.1007/3-540-58325-4\_198},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/GuP94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HavasL94,
  author       = {George Havas and
                  Jin Xian Lian},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A New Problem in String Searching},
  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        = {660--668},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_235},
  doi          = {10.1007/3-540-58325-4\_235},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/HavasL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HemaspaandraNOS94,
  author       = {Lane A. Hemaspaandra and
                  Ashish V. Naik and
                  Mitsunori Ogihara and
                  Alan L. Selman},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Computing Solutions Uniquely collapses the Polynomial Hierarchy},
  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        = {56--64},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_166},
  doi          = {10.1007/3-540-58325-4\_166},
  timestamp    = {Mon, 16 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/HemaspaandraNOS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HosakaTY94,
  author       = {Kazuhisa Hosaka and
                  Yasuhiko Takenaga and
                  Shuzo Yajima},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On the Size of Ordered Binary Decision Diagrams Representing Threshold
                  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        = {584--592},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_226},
  doi          = {10.1007/3-540-58325-4\_226},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/HosakaTY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HsiehH94,
  author       = {Sun{-}Yuan Hsieh and
                  Chin{-}Wen Ho},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {An Efficient Parallel Strategy for Recognizing Series-Parallel Graphs},
  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        = {496--504},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_216},
  doi          = {10.1007/3-540-58325-4\_216},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/HsiehH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/HuiM94,
  author       = {Lucas Chi Kwong Hui and
                  Charles U. Martel},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Analysing Deletions in Competitive Self-Adjusting Linear List},
  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        = {433--441},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_209},
  doi          = {10.1007/3-540-58325-4\_209},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/HuiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IbarraT94,
  author       = {Oscar H. Ibarra and
                  Nicholas Q. Tr{\^{a}}n},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On the Parallel Complexity of Solving Recurrence Equations},
  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        = {469--477},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_213},
  doi          = {10.1007/3-540-58325-4\_213},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/IbarraT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IwamotoI94,
  author       = {Chuzo Iwamoto and
                  Kazuo Iwama},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Extended Graph Connectivity and Its Gradually Increasing Parallel
                  Complexity},
  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        = {478--486},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_214},
  doi          = {10.1007/3-540-58325-4\_214},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/IwamotoI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/IwanoRT94,
  author       = {Kazuo Iwano and
                  Prabhakar Raghavan and
                  Hisao Tamaki},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {The Traveling Cameraman Problem, with Applications to Automatic Optical
                  Inspection},
  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        = {29--37},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_163},
  doi          = {10.1007/3-540-58325-4\_163},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/IwanoRT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/JenningsM94,
  author       = {Esther Jennings and
                  Lenka Motyckova},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Distributed Algorithms for Finding Small Cycle Covers in Arbitrary
                  Networks},
  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        = {110--118},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_172},
  doi          = {10.1007/3-540-58325-4\_172},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/JenningsM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/JiangW94,
  author       = {Tao Jiang and
                  Lusheng Wang},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {An Approximation Scheme for Some Steiner Tree Problems in the Plane},
  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        = {414--422},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_206},
  doi          = {10.1007/3-540-58325-4\_206},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/JiangW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KaoT94,
  author       = {Ming{-}Yang Kao and
                  Shang{-}Hua Teng},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Simple and Efficient Graph Compression Schemes for Dense and Complement
                  Graphs},
  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        = {451--459},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_211},
  doi          = {10.1007/3-540-58325-4\_211},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/KaoT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KaufmannGT94,
  author       = {Michael Kaufmann and
                  Shaodi Gao and
                  Krishnaiyan Thulasiraman},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On Steiner Minimal Trees in Grid Graphs and Its Application to {VLSI}
                  Routing},
  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        = {351--359},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_199},
  doi          = {10.1007/3-540-58325-4\_199},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/KaufmannGT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KaufmannLS94,
  author       = {Michael Kaufmann and
                  Harald Lauer and
                  Heiko Schr{\"{o}}der},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Fast Deterministic Hot-Potato Routing on Processor Arrays},
  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        = {333--341},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_197},
  doi          = {10.1007/3-540-58325-4\_197},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/KaufmannLS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KavvadiasPSZ94,
  author       = {Dimitris J. Kavvadias and
                  Grammati E. Pantziou and
                  Paul G. Spirakis and
                  Christos D. Zaroliagis},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Efficient Sequential and Parallel Algorithms for the Negative Cycle
                  Problem},
  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        = {270--278},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_190},
  doi          = {10.1007/3-540-58325-4\_190},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/KavvadiasPSZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KleinL94,
  author       = {Rolf Klein and
                  Andrzej Lingas},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Hamiltonian Abstract Voronoi Diagrams in Linear Time},
  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        = {11--19},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_161},
  doi          = {10.1007/3-540-58325-4\_161},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/KleinL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/KrishnanPB94,
  author       = {Sriram C. Krishnan and
                  Anuj Puri and
                  Robert K. Brayton},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Deterministic w Automata vis-a-vis Deterministic Buchi Automata},
  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        = {378--386},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_202},
  doi          = {10.1007/3-540-58325-4\_202},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/KrishnanPB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Lau94,
  author       = {Hoong Chuin Lau},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Manpower Scheduling with Shift Change Constraints},
  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        = {616--624},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_230},
  doi          = {10.1007/3-540-58325-4\_230},
  timestamp    = {Fri, 02 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/Lau94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/LeeB94,
  author       = {De{-}Lei Lee and
                  Kenneth E. Batcher},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Multiway Merging Network},
  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        = {643--651},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_233},
  doi          = {10.1007/3-540-58325-4\_233},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/LeeB94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/LiL94,
  author       = {Hong{-}Zhou Li and
                  Guan{-}Ying Li},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Nonuniform Lowness and Strong Nonuniform Lowness},
  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        = {593--599},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_227},
  doi          = {10.1007/3-540-58325-4\_227},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/LiL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/LiM94,
  author       = {Daxing Li and
                  Shaohan Ma},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Two Notes on Low-Density Subset Sum Algorithms},
  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        = {164--171},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_178},
  doi          = {10.1007/3-540-58325-4\_178},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/LiM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Lin94,
  author       = {Chih{-}Long Lin},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Hardness of Approximating Graph Transformation Problem},
  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        = {74--82},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_168},
  doi          = {10.1007/3-540-58325-4\_168},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Lin94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/LinO94,
  author       = {Xuemin Lin and
                  Maria E. Orlowska},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {An Efficient Optimal Algorithm for Minimizing the Overall Communication
                  Cost in Replicated Data Management},
  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        = {243--251},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_187},
  doi          = {10.1007/3-540-58325-4\_187},
  timestamp    = {Mon, 16 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/LinO94.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    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/MakinoI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MetaxasPS94,
  author       = {Panagiotis Takis Metaxas and
                  Grammati E. Pantziou and
                  Antonios Symvonis},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Parallel h-v Drawings of Binary Trees},
  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        = {487--495},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_215},
  doi          = {10.1007/3-540-58325-4\_215},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/MetaxasPS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Middendorf94,
  author       = {Martin Middendorf},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {On the Approximation of Finding Various Minimal, Maximal, and Consistent
                  Sequences},
  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        = {306--314},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_194},
  doi          = {10.1007/3-540-58325-4\_194},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Middendorf94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MiharaN94,
  author       = {Takashi Mihara and
                  Tetsuro Nishino},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Quantum Computation and NP-Complete Problems},
  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        = {387--395},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_203},
  doi          = {10.1007/3-540-58325-4\_203},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/MiharaN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/MolchoZ94,
  author       = {Moshe Molcho and
                  Shmuel Zaks},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Robust Asynchronous Algorithms in Networks with a Fault Detection
                  Ring},
  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        = {101--109},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_171},
  doi          = {10.1007/3-540-58325-4\_171},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/MolchoZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/NagamochiNI94,
  author       = {Hiroshi Nagamochi and
                  Kazuhiro Nishimura and
                  Toshihide Ibaraki},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Computing All Small Cuts in Undirected Networks},
  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        = {190--198},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_181},
  doi          = {10.1007/3-540-58325-4\_181},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/NagamochiNI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/NakanishiHIH94,
  author       = {Michio Nakanishi and
                  Morio Hasidume and
                  Minoru Ito and
                  Akihiro Hashimoto},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Linear-Time Algorithm for Computing Characteristic Strings},
  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        = {315--323},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_195},
  doi          = {10.1007/3-540-58325-4\_195},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/NakanishiHIH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/PanconesiPTV94,
  author       = {Alessandro Panconesi and
                  Marina Papatriantafilou and
                  Philippas Tsigas and
                  Paul M. B. Vit{\'{a}}nyi},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Randomized Wait-Free Naming},
  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        = {83--91},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_169},
  doi          = {10.1007/3-540-58325-4\_169},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/PanconesiPTV94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/RajasekaranCY94,
  author       = {Sanguthevar Rajasekaran and
                  Wang Chen and
                  Shibu Yooseph},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Unifying Themes for Network Selection},
  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        = {92--100},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_170},
  doi          = {10.1007/3-540-58325-4\_170},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/RajasekaranCY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/RanganC94,
  author       = {C. Pandu Rangan and
                  Maw{-}Shang Chang},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Weighted Irredundance of Interval Graphs},
  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        = {567--574},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_224},
  doi          = {10.1007/3-540-58325-4\_224},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/RanganC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/SanthaT94,
  author       = {Miklos Santha and
                  Sovanna Tan},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Verifying the Determinant in Parallel},
  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        = {65--73},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_167},
  doi          = {10.1007/3-540-58325-4\_167},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/SanthaT94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ShenHDW94,
  author       = {Xiaojun Shen and
                  Qing Hu and
                  Hao Dai and
                  Xiangzu Wang},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Optimal Routing of Permutations on Rings},
  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        = {360--368},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_200},
  doi          = {10.1007/3-540-58325-4\_200},
  timestamp    = {Thu, 22 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/ShenHDW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/SrivastavS94,
  author       = {Anand Srivastav and
                  Peter Stangier},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Algorthmic Chernoff-Hoeffding Inequalitiers in Integer Programming},
  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        = {226--233},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_185},
  doi          = {10.1007/3-540-58325-4\_185},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/SrivastavS94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Subramanian94,
  author       = {C. R. Subramanian},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Improved Algorithms for Coloring Random Graphs},
  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        = {460--468},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_212},
  doi          = {10.1007/3-540-58325-4\_212},
  timestamp    = {Tue, 14 Feb 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/Subramanian94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/SunDX94,
  author       = {Shangzhi Sun and
                  David Hung{-}Chang Du and
                  Guoliang Xue},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Achieving the Shortest Clock Period by Inserting the Minimum Amount
                  of Delay},
  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        = {669--677},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_236},
  doi          = {10.1007/3-540-58325-4\_236},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/SunDX94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Takaoka94,
  author       = {Tadao Takaoka},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Approximate Pattern Matching with Samples},
  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        = {234--242},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_186},
  doi          = {10.1007/3-540-58325-4\_186},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Takaoka94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/TanH94,
  author       = {Xuehou Tan and
                  Tomio Hirata},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Shortest Safari Routes in Simple Polygon},
  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        = {523--531},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_219},
  doi          = {10.1007/3-540-58325-4\_219},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/TanH94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/TaniI94,
  author       = {Seiichiro Tani and
                  Hiroshi Imai},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Reordering Operation for an Ordered Binary Decision Diagram and
                  an Extended Framework for Combinatorics of Graphs},
  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        = {575--583},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_225},
  doi          = {10.1007/3-540-58325-4\_225},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/TaniI94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/TaokaW94,
  author       = {Satoshi Taoka and
                  Toshimasa Watanabe},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Minimum Augmentation to k-Edge-Connect Specified Vertices of a Graph},
  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        = {217--225},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_184},
  doi          = {10.1007/3-540-58325-4\_184},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/TaokaW94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Tokuyama94,
  author       = {Takeshi Tokuyama},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Orthogonal Queries in Segments and Triangles},
  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        = {505--513},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_217},
  doi          = {10.1007/3-540-58325-4\_217},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Tokuyama94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/TsaiL94,
  author       = {Kuo{-}Hui Tsai and
                  D. T. Lee},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {k-Best Cuts for Circular-Arc Graphs},
  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        = {550--558},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_222},
  doi          = {10.1007/3-540-58325-4\_222},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/TsaiL94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Wen-Tsun94,
  author       = {Wu Wen{-}Ts{\"{u}}n},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Polynomial Equations-Solving and its Applications},
  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        = {1--9},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_159},
  doi          = {10.1007/3-540-58325-4\_159},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Wen-Tsun94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/XuG94,
  author       = {Ying Xu and
                  Harold N. Gabow},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Fast Algorithms for Transversal Matroid Intersection Problems},
  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        = {625--633},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_231},
  doi          = {10.1007/3-540-58325-4\_231},
  timestamp    = {Tue, 07 Nov 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/XuG94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/YangXY94,
  author       = {Bo{-}Ting Yang and
                  Yin{-}Feng Xu and
                  Zhao{-}yong You},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Chain Decomposition Algorithm for the Proof of a Property on Minimum
                  Weight Triangulations},
  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        = {423--427},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_207},
  doi          = {10.1007/3-540-58325-4\_207},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/YangXY94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/YoungC94,
  author       = {Gilbert H. Young and
                  Chi{-}lok Chan},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Efficient Algorithms for Assigning Chain-Like Tasks on a Chain-Like
                  Network Computer},
  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        = {607--615},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_229},
  doi          = {10.1007/3-540-58325-4\_229},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/YoungC94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ZhangZ94,
  author       = {Xiang{-}Sun Zhang and
                  Hui{-}Can Zhu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {A Neural Network Model for Quadratic Programming with Simple Upper
                  and Lower Bounds and its Application to Linear Programming},
  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        = {119--127},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_173},
  doi          = {10.1007/3-540-58325-4\_173},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ZhangZ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ZhouN94,
  author       = {Xiao Zhou and
                  Takao Nishizeki},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Edge-Coloring and f-Coloring for Various Classes of Graphs},
  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        = {199--207},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_182},
  doi          = {10.1007/3-540-58325-4\_182},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ZhouN94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/Zhu94,
  author       = {Binhai Zhu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Further Computational Geometry in Secondary Memory},
  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        = {514--522},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_218},
  doi          = {10.1007/3-540-58325-4\_218},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/Zhu94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/ZhuMQ94,
  author       = {Daming Zhu and
                  Shaohan Ma and
                  Hongze Qiu},
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {Analysis of the Convergency of Topology Preserving Neural Networks
                  on Learning},
  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        = {128--136},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4\_174},
  doi          = {10.1007/3-540-58325-4\_174},
  timestamp    = {Fri, 19 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/ZhuMQ94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/isaac/1994,
  editor       = {Ding{-}Zhu Du and
                  Xiang{-}Sun Zhang},
  title        = {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},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/3-540-58325-4},
  doi          = {10.1007/3-540-58325-4},
  isbn         = {3-540-58325-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/isaac/1994.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics