Search dblp for Publications

• > Home > Search

@article{DBLP:journals/tcs/AngelopoulosAD17,
  author       = {Spyros Angelopoulos and
                  Diogo Ars{\'{e}}nio and
                  Christoph D{\"{u}}rr},
  title        = {Infinite linear programming and online searching with turn cost},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {11--22},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.013},
  doi          = {10.1016/J.TCS.2017.01.013},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/AngelopoulosAD17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/ChenXW17,
  author       = {Jianer Chen and
                  Chao Xu and
                  Jianxin Wang},
  title        = {Dealing with 4-variables by resolution: An improved MaxSAT algorithm},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {33--44},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.020},
  doi          = {10.1016/J.TCS.2017.01.020},
  timestamp    = {Fri, 21 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/ChenXW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/GourvesMPV17,
  author       = {Laurent Gourv{\`{e}}s and
                  J{\'{e}}r{\^{o}}me Monnot and
                  Fanny Pascual and
                  Daniel Vanderpooten},
  title        = {Bi-objective matchings with the triangle inequality},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {1--10},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.012},
  doi          = {10.1016/J.TCS.2017.01.012},
  timestamp    = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/GourvesMPV17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/KungH17,
  author       = {Tzu{-}Liang Kung and
                  Chun{-}Nan Hung},
  title        = {Estimating the subsystem reliability of bubblesort networks},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {45--55},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.021},
  doi          = {10.1016/J.TCS.2017.01.021},
  timestamp    = {Thu, 28 Dec 2017 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KungH17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/LanHWGGC17,
  author       = {Yan Lan and
                  Xin Han and
                  Yinling Wang and
                  Min Ge and
                  He Guo and
                  Xin Chen},
  title        = {Flowshop problem {F2} {\(\rightarrow\)} D{\(\vert\)}v = 1, c {\(\geq\)}
                  1{\(\vert\)}C\({}_{\mbox{max}}\) revisited},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {79--85},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.018},
  doi          = {10.1016/J.TCS.2017.01.018},
  timestamp    = {Mon, 14 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/LanHWGGC17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/MartinPW17,
  author       = {Barnaby Martin and
                  Andr{\'{a}}s Pongr{\'{a}}cz and
                  Michal Wrona},
  title        = {The complexity of counting quantifiers on equality languages},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {56--67},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.022},
  doi          = {10.1016/J.TCS.2017.01.022},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/MartinPW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/Meszaros-Karkus17,
  author       = {Zsuzsa M{\'{e}}sz{\'{a}}ros{-}Karkus},
  title        = {Hardness results for stable exchange problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {68--78},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.023},
  doi          = {10.1016/J.TCS.2017.01.023},
  timestamp    = {Sun, 28 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tcs/Meszaros-Karkus17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@article{DBLP:journals/tcs/WangSF17,
  author       = {Yan Wang and
                  Hong Shen and
                  Jianxi Fan},
  title        = {Edge-independent spanning trees in augmented cubes},
  journal      = {Theor. Comput. Sci.},
  volume       = {670},
  pages        = {23--32},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.tcs.2017.01.016},
  doi          = {10.1016/J.TCS.2017.01.016},
  timestamp    = {Fri, 02 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/WangSF17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}