BibTeX records: Daniel Král

download as .bib file

@article{DBLP:journals/cpc/GrzesikKP24,
  author       = {Andrzej Grzesik and
                  Daniel Kr{\'{a}}l' and
                  Oleg Pikhurko},
  title        = {Forcing generalised quasirandom graphs efficiently},
  journal      = {Comb. Probab. Comput.},
  volume       = {33},
  number       = {1},
  pages        = {16--31},
  year         = {2024},
  url          = {https://doi.org/10.1017/s0963548323000263},
  doi          = {10.1017/S0963548323000263},
  timestamp    = {Mon, 01 Apr 2024 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cpc/GrzesikKP24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/DvorakKT24,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {VI.} 3-colorability
                  of quadrangulations},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {164},
  pages        = {517--548},
  year         = {2024},
  url          = {https://doi.org/10.1016/j.jctb.2023.11.001},
  doi          = {10.1016/J.JCTB.2023.11.001},
  timestamp    = {Mon, 05 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/DvorakKT24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2402-16215,
  author       = {Marcin Brianski and
                  Daniel Kr{\'{a}}l and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}}},
  title        = {Branch-depth is minor closure of contraction-deletion-depth},
  journal      = {CoRR},
  volume       = {abs/2402.16215},
  year         = {2024},
  url          = {https://doi.org/10.48550/arXiv.2402.16215},
  doi          = {10.48550/ARXIV.2402.16215},
  eprinttype    = {arXiv},
  eprint       = {2402.16215},
  timestamp    = {Mon, 25 Mar 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2402-16215.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HancockKKMPSV23,
  author       = {Robert Hancock and
                  Adam Kabela and
                  Daniel Kr{\'{a}}l' and
                  Ta{\'{\i}}sa Martins and
                  Roberto Parente and
                  Fiona Skerman and
                  Jan Volec},
  title        = {No additional tournaments are quasirandom-forcing},
  journal      = {Eur. J. Comb.},
  volume       = {108},
  pages        = {103632},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.ejc.2022.103632},
  doi          = {10.1016/J.EJC.2022.103632},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/HancockKKMPSV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/GrzesikKLV23,
  author       = {Andrzej Grzesik and
                  Daniel Kr{\'{a}}l' and
                  L{\'{a}}szl{\'{o}} Mikl{\'{o}}s Lov{\'{a}}sz and
                  Jan Volec},
  title        = {Cycles of a given length in tournaments},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {158},
  number       = {Part},
  pages        = {117--145},
  year         = {2023},
  url          = {https://doi.org/10.1016/j.jctb.2022.07.007},
  doi          = {10.1016/J.JCTB.2022.07.007},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/GrzesikKLV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/HancockKKV23,
  author       = {Robert Hancock and
                  Daniel Kr{\'{a}}l' and
                  Matjaz Krnc and
                  Jan Volec},
  title        = {Toward characterizing locally common graphs},
  journal      = {Random Struct. Algorithms},
  volume       = {62},
  number       = {1},
  pages        = {181--218},
  year         = {2023},
  url          = {https://doi.org/10.1002/rsa.21099},
  doi          = {10.1002/RSA.21099},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsa/HancockKKV23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/GrzesikIKK23,
  author       = {Andrzej Grzesik and
                  Daniel Il'kovic and
                  Bartlomiej Kielak and
                  Daniel Kr{\'{a}}l'},
  title        = {Quasirandom-Forcing Orientations of Cycles},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {37},
  number       = {4},
  pages        = {2689--2716},
  year         = {2023},
  url          = {https://doi.org/10.1137/23m1548700},
  doi          = {10.1137/23M1548700},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/GrzesikIKK23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2307-05811,
  author       = {Daniel Kr{\'{a}}l and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}} and
                  Kenny Storgel},
  title        = {Twin-width of graphs on surfaces},
  journal      = {CoRR},
  volume       = {abs/2307.05811},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2307.05811},
  doi          = {10.48550/ARXIV.2307.05811},
  eprinttype    = {arXiv},
  eprint       = {2307.05811},
  timestamp    = {Thu, 27 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2307-05811.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01945,
  author       = {Marcin Brianski and
                  Daniel Kr{\'{a}}l and
                  Ander Lamaison},
  title        = {Closure property of contraction-depth of matroids},
  journal      = {CoRR},
  volume       = {abs/2311.01945},
  year         = {2023},
  url          = {https://doi.org/10.48550/arXiv.2311.01945},
  doi          = {10.48550/ARXIV.2311.01945},
  eprinttype    = {arXiv},
  eprint       = {2311.01945},
  timestamp    = {Wed, 08 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2311-01945.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/KralNNVW22,
  author       = {Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel and
                  Sergey Norin and
                  Jan Volec and
                  Fan Wei},
  title        = {Non-Bipartite K-Common Graphs},
  journal      = {Comb.},
  volume       = {42},
  number       = {1},
  pages        = {87--114},
  year         = {2022},
  url          = {https://doi.org/10.1007/s00493-020-4499-9},
  doi          = {10.1007/S00493-020-4499-9},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorica/KralNNVW22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KabelaKNP22,
  author       = {Adam Kabela and
                  Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel and
                  Th{\'{e}}o Pierron},
  title        = {Density Maximizers of Layered Permutations},
  journal      = {Electron. J. Comb.},
  volume       = {29},
  number       = {3},
  year         = {2022},
  url          = {https://doi.org/10.37236/10781},
  doi          = {10.37236/10781},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/KabelaKNP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/CooperGKK22,
  author       = {Jacob W. Cooper and
                  Andrzej Grzesik and
                  Adam Kabela and
                  Daniel Kr{\'{a}}l'},
  title        = {Packing and covering directed triangles asymptotically},
  journal      = {Eur. J. Comb.},
  volume       = {101},
  pages        = {103462},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.ejc.2021.103462},
  doi          = {10.1016/J.EJC.2021.103462},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/CooperGKK22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/DvorakKT22,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {VII.} {A} linear-time
                  algorithm},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {152},
  pages        = {483--504},
  year         = {2022},
  url          = {https://doi.org/10.1016/j.jctb.2021.07.002},
  doi          = {10.1016/J.JCTB.2021.07.002},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/DvorakKT22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/CooperKLM22,
  author       = {Jacob W. Cooper and
                  Daniel Kr{\'{a}}l' and
                  Ander Lamaison and
                  Samuel Mohr},
  title        = {Quasirandom Latin squares},
  journal      = {Random Struct. Algorithms},
  volume       = {61},
  number       = {2},
  pages        = {298--308},
  year         = {2022},
  url          = {https://doi.org/10.1002/rsa.21060},
  doi          = {10.1002/RSA.21060},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsa/CooperKLM22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/ChanCKKP22,
  author       = {Timothy F. N. Chan and
                  Jacob W. Cooper and
                  Martin Kouteck{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}}},
  title        = {Matrices of Optimal Tree-Depth and a Row-Invariant Parameterized Algorithm
                  for Integer Programming},
  journal      = {{SIAM} J. Comput.},
  volume       = {51},
  number       = {3},
  pages        = {664--700},
  year         = {2022},
  url          = {https://doi.org/10.1137/20m1353502},
  doi          = {10.1137/20M1353502},
  timestamp    = {Mon, 28 Aug 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/ChanCKKP22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/BrianskiKKPS22,
  author       = {Marcin Brianski and
                  Martin Kouteck{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}} and
                  Felix Schr{\"{o}}der},
  editor       = {Mikolaj Bojanczyk and
                  Emanuela Merelli and
                  David P. Woodruff},
  title        = {Characterization of Matrices with Bounded Graver Bases and Depth Parameters
                  and Applications to Integer Programming},
  booktitle    = {49th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2022, July 4-8, 2022, Paris, France},
  series       = {LIPIcs},
  volume       = {229},
  pages        = {29:1--29:20},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2022},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2022.29},
  doi          = {10.4230/LIPICS.ICALP.2022.29},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/BrianskiKKPS22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2202-05299,
  author       = {Marcin Brianski and
                  Martin Kouteck{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}} and
                  Felix Schr{\"{o}}der},
  title        = {Characterization of matrices with bounded Graver bases and depth parameters
                  and applications to integer programming},
  journal      = {CoRR},
  volume       = {abs/2202.05299},
  year         = {2022},
  url          = {https://arxiv.org/abs/2202.05299},
  eprinttype    = {arXiv},
  eprint       = {2202.05299},
  timestamp    = {Fri, 18 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2202-05299.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2209-11537,
  author       = {Daniel Kr{\'{a}}l and
                  Ander Lamaison},
  title        = {Planar graph with twin-width seven},
  journal      = {CoRR},
  volume       = {abs/2209.11537},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2209.11537},
  doi          = {10.48550/ARXIV.2209.11537},
  eprinttype    = {arXiv},
  eprint       = {2209.11537},
  timestamp    = {Thu, 29 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2209-11537.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakHHKN21,
  author       = {Zdenek Dvor{\'{a}}k and
                  Michael Hebdige and
                  Filip Hl{\'{a}}sek and
                  Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel},
  title        = {Cyclic coloring of plane graphs with maximum face size 16 and 17},
  journal      = {Eur. J. Comb.},
  volume       = {94},
  pages        = {103287},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ejc.2020.103287},
  doi          = {10.1016/J.EJC.2020.103287},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakHHKN21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/CandelaCHKKLV21,
  author       = {Pablo Candela and
                  Carlos Catal{\'{a}} and
                  Robert Hancock and
                  Adam Kabela and
                  Daniel Kr{\'{a}}l' and
                  Ander Lamaison and
                  Llu{\'{\i}}s Vena},
  title        = {Coloring graphs by translates in the circle},
  journal      = {Eur. J. Comb.},
  volume       = {96},
  pages        = {103346},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.ejc.2021.103346},
  doi          = {10.1016/J.EJC.2021.103346},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/CandelaCHKKLV21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/DvorakKT21,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces V. Coloring planar
                  graphs with distant anomalies},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {150},
  pages        = {244--269},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jctb.2020.04.006},
  doi          = {10.1016/J.JCTB.2020.04.006},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/DvorakKT21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/DvorakKT21a,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {IV.} Bounding face
                  sizes of 4-critical graphs},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {150},
  pages        = {270--304},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.jctb.2020.09.001},
  doi          = {10.1016/J.JCTB.2020.09.001},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/DvorakKT21a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dagstuhl-reports/KralPSS21,
  author       = {Daniel Kr{\'{a}}l' and
                  Michal Pilipczuk and
                  Sebastian Siebertz and
                  Blair D. Sullivan},
  title        = {Sparsity in Algorithms, Combinatorics and Logic (Dagstuhl Seminar
                  21391)},
  journal      = {Dagstuhl Reports},
  volume       = {11},
  number       = {8},
  pages        = {115--128},
  year         = {2021},
  url          = {https://doi.org/10.4230/DagRep.11.8.115},
  doi          = {10.4230/DAGREP.11.8.115},
  timestamp    = {Mon, 28 Feb 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dagstuhl-reports/KralPSS21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcta/ChanGKN20,
  author       = {Timothy F. N. Chan and
                  Andrzej Grzesik and
                  Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel},
  title        = {Cycles of length three and four in tournaments},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {175},
  pages        = {105276},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jcta.2020.105276},
  doi          = {10.1016/J.JCTA.2020.105276},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jcta/ChanGKN20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jctb/DvorakKT20,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {III.} Graphs of girth
                  five},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {145},
  pages        = {376--432},
  year         = {2020},
  url          = {https://doi.org/10.1016/j.jctb.2020.06.005},
  doi          = {10.1016/J.JCTB.2020.06.005},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jctb/DvorakKT20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/KenyonKRW20,
  author       = {Richard W. Kenyon and
                  Daniel Kr{\'{a}}l' and
                  Charles Radin and
                  Peter Winkler},
  title        = {Permutations with fixed pattern densities},
  journal      = {Random Struct. Algorithms},
  volume       = {56},
  number       = {1},
  pages        = {220--250},
  year         = {2020},
  url          = {https://doi.org/10.1002/rsa.20882},
  doi          = {10.1002/RSA.20882},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsa/KenyonKRW20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/ChanKNPSV20,
  author       = {Timothy F. N. Chan and
                  Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel and
                  Yanitsa Pehova and
                  Maryam Sharifzadeh and
                  Jan Volec},
  title        = {Characterization of quasirandom permutations by a pattern sum},
  journal      = {Random Struct. Algorithms},
  volume       = {57},
  number       = {4},
  pages        = {920--939},
  year         = {2020},
  url          = {https://doi.org/10.1002/rsa.20956},
  doi          = {10.1002/RSA.20956},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/ChanKNPSV20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/ChanCKKP20,
  author       = {Timothy F. N. Chan and
                  Jacob W. Cooper and
                  Martin Kouteck{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Krist{\'{y}}na Pek{\'{a}}rkov{\'{a}}},
  editor       = {Artur Czumaj and
                  Anuj Dawar and
                  Emanuela Merelli},
  title        = {Matrices of Optimal Tree-Depth and Row-Invariant Parameterized Algorithm
                  for Integer Programming},
  booktitle    = {47th International Colloquium on Automata, Languages, and Programming,
                  {ICALP} 2020, July 8-11, 2020, Saarbr{\"{u}}cken, Germany (Virtual
                  Conference)},
  series       = {LIPIcs},
  volume       = {168},
  pages        = {26:1--26:19},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://doi.org/10.4230/LIPIcs.ICALP.2020.26},
  doi          = {10.4230/LIPICS.ICALP.2020.26},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/ChanCKKP20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/mfcs/2020,
  editor       = {Javier Esparza and
                  Daniel Kr{\'{a}}l'},
  title        = {45th International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2020, August 24-28, 2020, Prague, Czech Republic},
  series       = {LIPIcs},
  volume       = {170},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2020},
  url          = {https://www.dagstuhl.de/dagpub/978-3-95977-159-7},
  isbn         = {978-3-95977-159-7},
  timestamp    = {Mon, 21 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/2020.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/KralLMP19,
  author       = {Daniel Kr{\'{a}}l' and
                  Bernard Lidick{\'{y}} and
                  Ta{\'{\i}}sa L. Martins and
                  Yanitsa Pehova},
  title        = {Decomposing Graphs into Edges and Triangles},
  journal      = {Comb. Probab. Comput.},
  volume       = {28},
  number       = {3},
  pages        = {465--472},
  year         = {2019},
  url          = {https://doi.org/10.1017/S0963548318000421},
  doi          = {10.1017/S0963548318000421},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cpc/KralLMP19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralNV19,
  author       = {Daniel Kr{\'{a}}l' and
                  Sergey Norin and
                  Jan Volec},
  title        = {A bound on the inducibility of cycles},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {161},
  pages        = {359--363},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcta.2018.08.003},
  doi          = {10.1016/J.JCTA.2018.08.003},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/KralNV19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralMPW19,
  author       = {Daniel Kr{\'{a}}l' and
                  Ta{\'{\i}}sa L. Martins and
                  P{\'{e}}ter P{\'{a}}l Pach and
                  Marcin Wrochna},
  title        = {The step Sidorenko property and non-norming edge-transitive graphs},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {162},
  pages        = {34--54},
  year         = {2019},
  url          = {https://doi.org/10.1016/j.jcta.2018.09.012},
  doi          = {10.1016/J.JCTA.2018.09.012},
  timestamp    = {Sun, 02 Jun 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/KralMPW19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/bcc/GrzesikK19,
  author       = {Andrzej Grzesik and
                  Daniel Kr{\'{a}}l},
  editor       = {Allan Lo and
                  Richard Mycroft and
                  Guillem Perarnau and
                  Andrew Treglown},
  title        = {Analytic representations of large graphs},
  booktitle    = {Surveys in Combinatorics, 2019: Invited lectures from the 27th British
                  Combinatorial Conference, Birmingham, UK, July 29 - August 2, 2019},
  pages        = {57--88},
  publisher    = {Cambridge University Press},
  year         = {2019},
  url          = {https://doi.org/10.1017/9781108649094.003},
  doi          = {10.1017/9781108649094.003},
  timestamp    = {Mon, 10 Jan 2022 15:48:34 +0100},
  biburl       = {https://dblp.org/rec/conf/bcc/GrzesikK19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-06688,
  author       = {Martin Kouteck{\'{y}} and
                  Daniel Kr{\'{a}}l},
  title        = {A row-invariant parameterized algorithm for integer programming},
  journal      = {CoRR},
  volume       = {abs/1907.06688},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.06688},
  eprinttype    = {arXiv},
  eprint       = {1907.06688},
  timestamp    = {Tue, 23 Jul 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-06688.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1912-04243,
  author       = {Robert Hancock and
                  Adam Kabela and
                  Daniel Kr{\'{a}}l and
                  Ta{\'{\i}}sa L. Martins and
                  Roberto Parente and
                  Fiona Skerman and
                  Jan Volec},
  title        = {No additional tournaments are quasirandom-forcing},
  journal      = {CoRR},
  volume       = {abs/1912.04243},
  year         = {2019},
  url          = {http://arxiv.org/abs/1912.04243},
  eprinttype    = {arXiv},
  eprint       = {1912.04243},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1912-04243.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/DvorakKT18,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {II.} 4-critical graphs
                  in a disk},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {132},
  pages        = {1--46},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jctb.2018.03.001},
  doi          = {10.1016/J.JCTB.2018.03.001},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/DvorakKT18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/CooperGK18,
  author       = {Jacob W. Cooper and
                  Andrzej Grzesik and
                  Daniel Kr{\'{a}}l'},
  title        = {Optimal-size clique transversals in chordal graphs},
  journal      = {J. Graph Theory},
  volume       = {89},
  number       = {4},
  pages        = {479--493},
  year         = {2018},
  url          = {https://doi.org/10.1002/jgt.22362},
  doi          = {10.1002/JGT.22362},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/CooperGK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/PamplinYGDMSKS18,
  author       = {Jeremy C. Pamplin and
                  Ronald Yeaw and
                  Gary R. Gilbert and
                  Konrad L. Davis and
                  Elizabeth Mann{-}Salinas and
                  Jos{\'{e}} Salinas and
                  Daniel Kr{\'{a}}l and
                  Loretta Schlachta{-}Fairchild},
  editor       = {Dylan D. Schmorrow and
                  Cali M. Fidopiastis},
  title        = {Augmenting Clinical Performance in Combat Casualty Care: Telemedicine
                  to Automation},
  booktitle    = {Augmented Cognition: Users and Contexts - 12th International Conference,
                  {AC} 2018, Held as Part of {HCI} International 2018, Las Vegas, NV,
                  USA, July 15-20, 2018, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {10916},
  pages        = {326--338},
  publisher    = {Springer},
  year         = {2018},
  url          = {https://doi.org/10.1007/978-3-319-91467-1\_25},
  doi          = {10.1007/978-3-319-91467-1\_25},
  timestamp    = {Tue, 14 May 2019 10:00:43 +0200},
  biburl       = {https://dblp.org/rec/conf/hci/PamplinYGDMSKS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/GajarskyK18,
  author       = {Jakub Gajarsk{\'{y}} and
                  Daniel Kr{\'{a}}l},
  editor       = {Igor Potapov and
                  Paul G. Spirakis and
                  James Worrell},
  title        = {Recovering Sparse Graphs},
  booktitle    = {43rd International Symposium on Mathematical Foundations of Computer
                  Science, {MFCS} 2018, August 27-31, 2018, Liverpool, {UK}},
  series       = {LIPIcs},
  volume       = {117},
  pages        = {29:1--29:15},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2018},
  url          = {https://doi.org/10.4230/LIPIcs.MFCS.2018.29},
  doi          = {10.4230/LIPICS.MFCS.2018.29},
  timestamp    = {Tue, 11 Feb 2020 15:52:14 +0100},
  biburl       = {https://dblp.org/rec/conf/mfcs/GajarskyK18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1807-01141,
  author       = {Andrzej Grzesik and
                  Daniel Kr{\'{a}}l' and
                  L{\'{a}}szl{\'{o}} Mikl{\'{o}}s Lov{\'{a}}sz},
  title        = {Elusive extremal graphs},
  journal      = {CoRR},
  volume       = {abs/1807.01141},
  year         = {2018},
  url          = {http://arxiv.org/abs/1807.01141},
  eprinttype    = {arXiv},
  eprint       = {1807.01141},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1807-01141.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/HladkyKN17,
  author       = {Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Sergey Norin},
  title        = {Counting flags in triangle-free digraphs},
  journal      = {Comb.},
  volume       = {37},
  number       = {1},
  pages        = {49--76},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00493-015-2662-5},
  doi          = {10.1007/S00493-015-2662-5},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorica/HladkyKN17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KardosKLM17,
  author       = {Frantisek Kardos and
                  Daniel Kr{\'{a}}l' and
                  Anita Liebenau and
                  Luk{\'{a}}s Mach},
  title        = {First order convergence of matroids},
  journal      = {Eur. J. Comb.},
  volume       = {59},
  pages        = {150--168},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ejc.2016.08.005},
  doi          = {10.1016/J.EJC.2016.08.005},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/KardosKLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/GlebovHKKKL17,
  author       = {Roman Glebov and
                  Carlos Hoppen and
                  Tereza Klimosov{\'{a}} and
                  Yoshiharu Kohayakawa and
                  Daniel Kr{\'{a}}l' and
                  Hong Liu},
  title        = {Densities in large permutations and parameter testing},
  journal      = {Eur. J. Comb.},
  volume       = {60},
  pages        = {89--99},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.ejc.2016.09.006},
  doi          = {10.1016/J.EJC.2016.09.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/GlebovHKKKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GrzesikKL17,
  author       = {Andrzej Grzesik and
                  Daniel Kr{\'{a}}l' and
                  L{\'{a}}szl{\'{o}} Mikl{\'{o}}s Lov{\'{a}}sz},
  title        = {Extremal graph theory and finite forcibility},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {61},
  pages        = {541--547},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.endm.2017.07.005},
  doi          = {10.1016/J.ENDM.2017.07.005},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/GrzesikKL17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Cohen-AddadHKLS17,
  author       = {Vincent Cohen{-}Addad and
                  Michael Hebdige and
                  Daniel Kr{\'{a}}l' and
                  Zhentao Li and
                  Esteban Salgado},
  title        = {Steinberg's Conjecture is false},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {122},
  pages        = {452--456},
  year         = {2017},
  url          = {https://doi.org/10.1016/j.jctb.2016.07.006},
  doi          = {10.1016/J.JCTB.2016.07.006},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/Cohen-AddadHKLS17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/GajarskyHKKKOOT17,
  author       = {Jakub Gajarsk{\'{y}} and
                  Petr Hlinen{\'{y}} and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l' and
                  Martin Kupec and
                  Jan Obdrz{\'{a}}lek and
                  Sebastian Ordyniak and
                  Vojtech Tuma},
  title        = {First order limits of sparse graphs: Plane trees and path-width},
  journal      = {Random Struct. Algorithms},
  volume       = {50},
  number       = {4},
  pages        = {612--635},
  year         = {2017},
  url          = {https://doi.org/10.1002/rsa.20676},
  doi          = {10.1002/RSA.20676},
  timestamp    = {Sat, 09 Apr 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/GajarskyHKKKOOT17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DvorakKM17,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Bojan Mohar},
  editor       = {Heribert Vollmer and
                  Brigitte Vall{\'{e}}e},
  title        = {Graphic {TSP} in Cubic Graphs},
  booktitle    = {34th Symposium on Theoretical Aspects of Computer Science, {STACS}
                  2017, March 8-11, 2017, Hannover, Germany},
  series       = {LIPIcs},
  volume       = {66},
  pages        = {27:1--27:13},
  publisher    = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year         = {2017},
  url          = {https://doi.org/10.4230/LIPIcs.STACS.2017.27},
  doi          = {10.4230/LIPICS.STACS.2017.27},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/DvorakKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-09985,
  author       = {Jakub Gajarsk{\'{y}} and
                  Daniel Kr{\'{a}}l},
  title        = {Deobfuscating sparse graphs},
  journal      = {CoRR},
  volume       = {abs/1709.09985},
  year         = {2017},
  url          = {http://arxiv.org/abs/1709.09985},
  eprinttype    = {arXiv},
  eprint       = {1709.09985},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1709-09985.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/ChristofidesK16,
  author       = {Demetres Christofides and
                  Daniel Kr{\'{a}}l'},
  title        = {First-Order Convergence and Roots},
  journal      = {Comb. Probab. Comput.},
  volume       = {25},
  number       = {2},
  pages        = {213--221},
  year         = {2016},
  url          = {https://doi.org/10.1017/S0963548315000048},
  doi          = {10.1017/S0963548315000048},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cpc/ChristofidesK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/DvorakKK16,
  author       = {Zdenek Dvor{\'{a}}k and
                  Ken{-}ichi Kawarabayashi and
                  Daniel Kr{\'{a}}l'},
  title        = {Packing six T-joins in plane graphs},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {116},
  pages        = {287--305},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jctb.2015.09.002},
  doi          = {10.1016/J.JCTB.2015.09.002},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/DvorakKK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/DvorakKT16,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces I. Extending a coloring
                  to a disk with one triangle},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {120},
  pages        = {1--17},
  year         = {2016},
  url          = {https://doi.org/10.1016/j.jctb.2016.04.003},
  doi          = {10.1016/J.JCTB.2016.04.003},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/DvorakKT16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/HebdigeK16,
  author       = {Michael Hebdige and
                  Daniel Kr{\'{a}}l},
  title        = {Third Case of the Cyclic Coloring Conjecture},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {30},
  number       = {1},
  pages        = {525--548},
  year         = {2016},
  url          = {https://doi.org/10.1137/15M1019490},
  doi          = {10.1137/15M1019490},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/HebdigeK16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DvorakK016,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {VII.} {A} linear-time
                  algorithm},
  journal      = {CoRR},
  volume       = {abs/1601.01197},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.01197},
  eprinttype    = {arXiv},
  eprint       = {1601.01197},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DvorakK016.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DvorakKM16,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Bojan Mohar},
  title        = {Graphic {TSP} in cubic graphs},
  journal      = {CoRR},
  volume       = {abs/1608.07568},
  year         = {2016},
  url          = {http://arxiv.org/abs/1608.07568},
  eprinttype    = {arXiv},
  eprint       = {1608.07568},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DvorakKM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-6043,
  author       = {Robert Ganian and
                  Petr Hlinen{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Jan Obdrz{\'{a}}lek and
                  Jarett Schwartz and
                  Jakub Teska},
  title        = {{FO} Model Checking of Interval Graphs},
  journal      = {Log. Methods Comput. Sci.},
  volume       = {11},
  number       = {4},
  year         = {2015},
  url          = {https://doi.org/10.2168/LMCS-11(4:11)2015},
  doi          = {10.2168/LMCS-11(4:11)2015},
  timestamp    = {Thu, 25 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-6043.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HebdigeK15,
  author       = {Michael Hebdige and
                  Daniel Kr{\'{a}}l'},
  title        = {Third case of the Cyclic Coloring Conjecture},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {49},
  pages        = {11--15},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.endm.2015.06.003},
  doi          = {10.1016/J.ENDM.2015.06.003},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/HebdigeK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/CooperKKN15,
  author       = {Jacob W. Cooper and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l' and
                  Jonathan A. Noel},
  title        = {Weak regularity and finitely forcible graph limits},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {49},
  pages        = {139--143},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.endm.2015.06.021},
  doi          = {10.1016/J.ENDM.2015.06.021},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/endm/CooperKKN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/GlebovGKK15,
  author       = {Roman Glebov and
                  Andrzej Grzesik and
                  Tereza Klimosov{\'{a}} and
                  Daniel Kr{\'{a}}l},
  title        = {Finitely forcible graphons and permutons},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {110},
  pages        = {112--135},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.jctb.2014.07.007},
  doi          = {10.1016/J.JCTB.2014.07.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/GlebovGKK15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/cu/CGKLP2015,
  editor       = {Artur Czumaj and
                  Agelos Georgakopoulos and
                  Daniel Kr{\'{a}}l and
                  Vadim V. Lozin and
                  Oleg Pikhurko},
  title        = {Surveys in Combinatorics 2015},
  series       = {London Mathematical Society Lecture Note Series},
  volume       = {424},
  publisher    = {Cambridge University Press},
  year         = {2015},
  url          = {https://doi.org/10.1017/CBO9781316106853},
  doi          = {10.1017/CBO9781316106853},
  isbn         = {9781316106853},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/cu/CGKLP2015.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KardosKLM15,
  author       = {Frantisek Kardos and
                  Daniel Kr{\'{a}}l and
                  Anita Liebenau and
                  Luk{\'{a}}s Mach},
  title        = {First order convergence of matroids},
  journal      = {CoRR},
  volume       = {abs/1501.06518},
  year         = {2015},
  url          = {http://arxiv.org/abs/1501.06518},
  eprinttype    = {arXiv},
  eprint       = {1501.06518},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/KardosKLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/CooperKKN15,
  author       = {Jacob W. Cooper and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l and
                  Jonathan A. Noel},
  title        = {Weak regularity and finitely forcible graph limits},
  journal      = {CoRR},
  volume       = {abs/1507.00067},
  year         = {2015},
  url          = {http://arxiv.org/abs/1507.00067},
  eprinttype    = {arXiv},
  eprint       = {1507.00067},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CooperKKN15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/DvorakKT15,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {VI.} 3-colorability
                  of quadrangulations},
  journal      = {CoRR},
  volume       = {abs/1509.01013},
  year         = {2015},
  url          = {http://arxiv.org/abs/1509.01013},
  eprinttype    = {arXiv},
  eprint       = {1509.01013},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/DvorakKT15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/FergusonKK14,
  author       = {David G. Ferguson and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l'},
  title        = {The fractional chromatic number of triangle-free subcubic graphs},
  journal      = {Eur. J. Comb.},
  volume       = {35},
  pages        = {184--220},
  year         = {2014},
  url          = {https://doi.org/10.1016/j.ejc.2013.06.006},
  doi          = {10.1016/J.EJC.2013.06.006},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/FergusonKK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/HeuvelKKSV14,
  author       = {Jan van den Heuvel and
                  Daniel Kr{\'{a}}l and
                  Martin Kupec and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Jan Volec},
  title        = {Extensions of Fractional Precolorings Show Discontinuous Behavior},
  journal      = {J. Graph Theory},
  volume       = {77},
  number       = {4},
  pages        = {299--329},
  year         = {2014},
  url          = {https://doi.org/10.1002/jgt.21787},
  doi          = {10.1002/JGT.21787},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/HeuvelKKSV14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KlimosovaK14,
  author       = {Tereza Klimosov{\'{a}} and
                  Daniel Kr{\'{a}}l'},
  editor       = {Chandra Chekuri},
  title        = {Hereditary properties of permutations are strongly testable},
  booktitle    = {Proceedings of the Twenty-Fifth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2014, Portland, Oregon, USA, January 5-7, 2014},
  pages        = {1164--1173},
  publisher    = {{SIAM}},
  year         = {2014},
  url          = {https://doi.org/10.1137/1.9781611973402.86},
  doi          = {10.1137/1.9781611973402.86},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/soda/KlimosovaK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChristofidesK14,
  author       = {Demetres Christofides and
                  Daniel Kr{\'{a}}l},
  title        = {First order convergence and roots},
  journal      = {CoRR},
  volume       = {abs/1403.3049},
  year         = {2014},
  url          = {http://arxiv.org/abs/1403.3049},
  eprinttype    = {arXiv},
  eprint       = {1403.3049},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/ChristofidesK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlebovKK14,
  author       = {Roman Glebov and
                  Tereza Klimosov{\'{a}} and
                  Daniel Kr{\'{a}}l},
  title        = {Infinite dimensional finitely forcible graphon},
  journal      = {CoRR},
  volume       = {abs/1404.2743},
  year         = {2014},
  url          = {http://arxiv.org/abs/1404.2743},
  eprinttype    = {arXiv},
  eprint       = {1404.2743},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlebovKK14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GlebovHKKKL14,
  author       = {Roman Glebov and
                  Carlos Hoppen and
                  Tereza Klimosov{\'{a}} and
                  Yoshiharu Kohayakawa and
                  Daniel Kr{\'{a}}l and
                  Hong Liu},
  title        = {Large permutations and parameter testing},
  journal      = {CoRR},
  volume       = {abs/1412.5622},
  year         = {2014},
  url          = {http://arxiv.org/abs/1412.5622},
  eprinttype    = {arXiv},
  eprint       = {1412.5622},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/GlebovHKKKL14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/KralLSWY13,
  author       = {Daniel Kr{\'{a}}l' and
                  Chun{-}Hung Liu and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Peter Whalen and
                  Zelealem B. Yilma},
  title        = {A New Bound for the 2/3 Conjecture},
  journal      = {Comb. Probab. Comput.},
  volume       = {22},
  number       = {3},
  pages        = {384--393},
  year         = {2013},
  url          = {https://doi.org/10.1017/S0963548312000612},
  doi          = {10.1017/S0963548312000612},
  timestamp    = {Mon, 26 Oct 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cpc/KralLSWY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KralSV13,
  author       = {Daniel Kr{\'{a}}l' and
                  Oriol Serra and
                  Llu{\'{\i}}s Vena},
  title        = {On the removal lemma for linear systems over Abelian groups},
  journal      = {Eur. J. Comb.},
  volume       = {34},
  number       = {2},
  pages        = {248--259},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.ejc.2012.07.003},
  doi          = {10.1016/J.EJC.2012.07.003},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/KralSV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/GlebovKV13,
  author       = {Roman Glebov and
                  Daniel Kr{\'{a}}l' and
                  Jan Volec},
  title        = {An application of flag algebras to a problem of Erd{\H{o}}s and S{\'{o}}s},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {43},
  pages        = {171--177},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.endm.2013.07.029},
  doi          = {10.1016/J.ENDM.2013.07.029},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/GlebovKV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jacm/DvorakKT13,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Testing first-order properties for subclasses of sparse graphs},
  journal      = {J. {ACM}},
  volume       = {60},
  number       = {5},
  pages        = {36:1--36:24},
  year         = {2013},
  url          = {https://doi.org/10.1145/2499483},
  doi          = {10.1145/2499483},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jacm/DvorakKT13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/CummingsKPSTY13,
  author       = {James Cummings and
                  Daniel Kr{\'{a}}l' and
                  Florian Pfender and
                  Konrad Sperfeld and
                  Andrew Treglown and
                  Michael Young},
  title        = {Monochromatic triangles in three-coloured graphs},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {103},
  number       = {4},
  pages        = {489--503},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jctb.2013.05.002},
  doi          = {10.1016/J.JCTB.2013.05.002},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/CummingsKPSTY13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HatamiHKNR13,
  author       = {Hamed Hatami and
                  Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Serguei Norine and
                  Alexander A. Razborov},
  title        = {On the number of pentagons in triangle-free graphs},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {120},
  number       = {3},
  pages        = {722--732},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jcta.2012.12.008},
  doi          = {10.1016/J.JCTA.2012.12.008},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/HatamiHKNR13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/HladkyKN13,
  author       = {Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Serguei Norine},
  title        = {Rank of divisors on tropical curves},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {120},
  number       = {7},
  pages        = {1521--1538},
  year         = {2013},
  url          = {https://doi.org/10.1016/j.jcta.2013.05.002},
  doi          = {10.1016/J.JCTA.2013.05.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/HladkyKN13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GanianHKOST13,
  author       = {Robert Ganian and
                  Petr Hlinen{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Jan Obdrz{\'{a}}lek and
                  Jarett Schwartz and
                  Jakub Teska},
  editor       = {Fedor V. Fomin and
                  Rusins Freivalds and
                  Marta Z. Kwiatkowska and
                  David Peleg},
  title        = {{FO} Model Checking of Interval Graphs},
  booktitle    = {Automata, Languages, and Programming - 40th International Colloquium,
                  {ICALP} 2013, Riga, Latvia, July 8-12, 2013, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7966},
  pages        = {250--262},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-39212-2\_24},
  doi          = {10.1007/978-3-642-39212-2\_24},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/GanianHKOST13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/KawarabayashiKKK13,
  author       = {Ken{-}ichi Kawarabayashi and
                  Daniel Kr{\'{a}}l' and
                  Marek Krc{\'{a}}l and
                  Stephan Kreutzer},
  editor       = {Sanjeev Khanna},
  title        = {Packing directed cycles through a specified vertex set},
  booktitle    = {Proceedings of the Twenty-Fourth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2013, New Orleans, Louisiana, USA, January 6-8,
                  2013},
  pages        = {365--377},
  publisher    = {{SIAM}},
  year         = {2013},
  url          = {https://doi.org/10.1137/1.9781611973105.27},
  doi          = {10.1137/1.9781611973105.27},
  timestamp    = {Tue, 02 Feb 2021 17:07:29 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/KawarabayashiKKK13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1302-2158,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces {II.} 4-critical graphs
                  in a disk},
  journal      = {CoRR},
  volume       = {abs/1302.2158},
  year         = {2013},
  url          = {http://arxiv.org/abs/1302.2158},
  eprinttype    = {arXiv},
  eprint       = {1302.2158},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1302-2158.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cpc/HatamiHKNR12,
  author       = {Hamed Hatami and
                  Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Serguei Norine and
                  Alexander A. Razborov},
  title        = {Non-Three-Colourable Common Graphs Exist},
  journal      = {Comb. Probab. Comput.},
  volume       = {21},
  number       = {5},
  pages        = {734--742},
  year         = {2012},
  url          = {https://doi.org/10.1017/S0963548312000107},
  doi          = {10.1017/S0963548312000107},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cpc/HatamiHKNR12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Kral12,
  author       = {Daniel Kr{\'{a}}l'},
  title        = {Decomposition width of matroids},
  journal      = {Discret. Appl. Math.},
  volume       = {160},
  number       = {6},
  pages        = {913--923},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.dam.2011.03.016},
  doi          = {10.1016/J.DAM.2011.03.016},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Kral12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/KralMS12,
  author       = {Daniel Kr{\'{a}}l' and
                  Luk{\'{a}}s Mach and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {A New Lower Bound Based on Gromov's Method of Selecting Heavily Covered
                  Points},
  journal      = {Discret. Comput. Geom.},
  volume       = {48},
  number       = {2},
  pages        = {487--498},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00454-012-9419-3},
  doi          = {10.1007/S00454-012-9419-3},
  timestamp    = {Thu, 12 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dcg/KralMS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/AzarijaEKKS12,
  author       = {Jernej Azarija and
                  Rok Erman and
                  Daniel Kr{\'{a}}l' and
                  Matjaz Krnc and
                  Ladislav Stacho},
  title        = {Cyclic colorings of plane graphs with independent faces},
  journal      = {Eur. J. Comb.},
  volume       = {33},
  number       = {3},
  pages        = {294--301},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ejc.2011.09.011},
  doi          = {10.1016/J.EJC.2011.09.011},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/AzarijaEKKS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakK12,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l'},
  title        = {Classes of graphs with small rank decompositions are X-bounded},
  journal      = {Eur. J. Comb.},
  volume       = {33},
  number       = {4},
  pages        = {679--683},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ejc.2011.12.005},
  doi          = {10.1016/J.EJC.2011.12.005},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/EsperetKK12,
  author       = {Louis Esperet and
                  Frantisek Kardos and
                  Daniel Kr{\'{a}}l'},
  title        = {A superlinear bound on the number of perfect matchings in cubic bridgeless
                  graphs},
  journal      = {Eur. J. Comb.},
  volume       = {33},
  number       = {5},
  pages        = {767--798},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.ejc.2011.09.027},
  doi          = {10.1016/J.EJC.2011.09.027},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/EsperetKK12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/KralMNPS12,
  author       = {Daniel Kr{\'{a}}l' and
                  Bojan Mohar and
                  Atsuhiro Nakamoto and
                  Ondrej Pangr{\'{a}}c and
                  Yusuke Suzuki},
  title        = {Coloring Eulerian Triangulations of the Klein Bottle},
  journal      = {Graphs Comb.},
  volume       = {28},
  number       = {4},
  pages        = {499--530},
  year         = {2012},
  url          = {https://doi.org/10.1007/s00373-011-1063-9},
  doi          = {10.1007/S00373-011-1063-9},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/gc/KralMNPS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralSV12,
  author       = {Daniel Kr{\'{a}}l' and
                  Petr Skoda and
                  Jan Volec},
  title        = {Domination number of cubic graphs with large girth},
  journal      = {J. Graph Theory},
  volume       = {69},
  number       = {2},
  pages        = {131--142},
  year         = {2012},
  url          = {https://doi.org/10.1002/jgt.20568},
  doi          = {10.1002/JGT.20568},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralSV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/KardosKV12,
  author       = {Frantisek Kardos and
                  Daniel Kr{\'{a}}l' and
                  Jan Volec},
  title        = {Maximum edge-cuts in cubic graphs with large girth and in random cubic
                  graphs},
  journal      = {Random Struct. Algorithms},
  volume       = {41},
  number       = {4},
  pages        = {506--520},
  year         = {2012},
  url          = {https://doi.org/10.1002/rsa.20471},
  doi          = {10.1002/RSA.20471},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/rsa/KardosKV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralKKLV12,
  author       = {Daniel Kr{\'{a}}l' and
                  Matjaz Krnc and
                  Martin Kupec and
                  Borut Luzar and
                  Jan Volec},
  title        = {Extending Fractional Precolorings},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {26},
  number       = {2},
  pages        = {647--660},
  year         = {2012},
  url          = {https://doi.org/10.1137/110828988},
  doi          = {10.1137/110828988},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralKKLV12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralSS12,
  author       = {Daniel Kr{\'{a}}l' and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Ladislav Stacho},
  title        = {Min-Max Relations for Odd Cycles in Planar Graphs},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {26},
  number       = {3},
  pages        = {884--895},
  year         = {2012},
  url          = {https://doi.org/10.1137/110845835},
  doi          = {10.1137/110845835},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralSS12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/GavenciakKO12,
  author       = {Tomas Gavenciak and
                  Daniel Kr{\'{a}}l and
                  Sang{-}il Oum},
  editor       = {Artur Czumaj and
                  Kurt Mehlhorn and
                  Andrew M. Pitts and
                  Roger Wattenhofer},
  title        = {Deciding First Order Properties of Matroids},
  booktitle    = {Automata, Languages, and Programming - 39th International Colloquium,
                  {ICALP} 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {7392},
  pages        = {239--250},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-31585-5\_24},
  doi          = {10.1007/978-3-642-31585-5\_24},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/GavenciakKO12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-2519,
  author       = {Daniel Kr{\'{a}}l' and
                  Chun{-}Hung Liu and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Peter Whalen and
                  Zelealem B. Yilma},
  title        = {A new bound for the 2/3 conjecture},
  journal      = {CoRR},
  volume       = {abs/1204.2519},
  year         = {2012},
  url          = {http://arxiv.org/abs/1204.2519},
  eprinttype    = {arXiv},
  eprint       = {1204.2519},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1204-2519.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1208-2624,
  author       = {Tereza Klimosov{\'{a}} and
                  Daniel Kr{\'{a}}l},
  title        = {Hereditary properties of permutations are strongly testable},
  journal      = {CoRR},
  volume       = {abs/1208.2624},
  year         = {2012},
  url          = {http://arxiv.org/abs/1208.2624},
  eprinttype    = {arXiv},
  eprint       = {1208.2624},
  timestamp    = {Fri, 22 May 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1208-2624.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KaiserKK11,
  author       = {Tom{\'{a}}s Kaiser and
                  Andrew D. King and
                  Daniel Kr{\'{a}}l'},
  title        = {Fractional total colourings of graphs of high girth},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {101},
  number       = {6},
  pages        = {383--402},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jctb.2010.12.005},
  doi          = {10.1016/J.JCTB.2010.12.005},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KaiserKK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KlavikKM11,
  author       = {Pavel Klav{\'{\i}}k and
                  Daniel Kr{\'{a}}l' and
                  Luk{\'{a}}s Mach},
  title        = {Triangles in arrangements of points and lines in the plane},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {118},
  number       = {3},
  pages        = {1140--1142},
  year         = {2011},
  url          = {https://doi.org/10.1016/j.jcta.2010.11.002},
  doi          = {10.1016/J.JCTA.2010.11.002},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KlavikKM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/BodirskyK11,
  author       = {Manuel Bodirsky and
                  Daniel Kr{\'{a}}l'},
  title        = {Limit Behavior of Locally Consistent Constraint Satisfaction Problems},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {25},
  number       = {2},
  pages        = {916--933},
  year         = {2011},
  url          = {https://doi.org/10.1137/060667591},
  doi          = {10.1137/060667591},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/BodirskyK11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KardosKV11,
  author       = {Frantisek Kardos and
                  Daniel Kr{\'{a}}l' and
                  Jan Volec},
  title        = {Fractional colorings of cubic graphs with large girth},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {25},
  number       = {3},
  pages        = {1454--1476},
  year         = {2011},
  url          = {https://doi.org/10.1137/100812082},
  doi          = {10.1137/100812082},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KardosKV11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1108-5457,
  author       = {Tomas Gavenciak and
                  Daniel Kr{\'{a}}l and
                  Sang{-}il Oum},
  title        = {Deciding first order logic properties of matroids},
  journal      = {CoRR},
  volume       = {abs/1108.5457},
  year         = {2011},
  url          = {http://arxiv.org/abs/1108.5457},
  eprinttype    = {arXiv},
  eprint       = {1108.5457},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1108-5457.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1109-5036,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Testing first-order properties for subclasses of sparse graphs},
  journal      = {CoRR},
  volume       = {abs/1109.5036},
  year         = {2011},
  url          = {http://arxiv.org/abs/1109.5036},
  eprinttype    = {arXiv},
  eprint       = {1109.5036},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1109-5036.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DvorakKKP10,
  author       = {Zdenek Dvor{\'{a}}k and
                  Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l' and
                  Ondrej Pangr{\'{a}}c},
  title        = {Pattern Hypergraphs},
  journal      = {Electron. J. Comb.},
  volume       = {17},
  number       = {1},
  year         = {2010},
  url          = {https://doi.org/10.37236/287},
  doi          = {10.37236/287},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/combinatorics/DvorakKKP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/DvorakKT10,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Jakub Teska},
  title        = {Toughness threshold for the existence of 2-walks in K\({}_{\mbox{4}}\)-minor-free
                  graphs},
  journal      = {Discret. Math.},
  volume       = {310},
  number       = {3},
  pages        = {642--651},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.disc.2009.05.016},
  doi          = {10.1016/J.DISC.2009.05.016},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/DvorakKT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/HladkyKS10,
  author       = {Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l' and
                  Uwe Schauz},
  title        = {Brooks' Theorem via the Alon-Tarsi Theorem},
  journal      = {Discret. Math.},
  volume       = {310},
  number       = {23},
  pages        = {3426--3428},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.disc.2010.07.019},
  doi          = {10.1016/J.DISC.2010.07.019},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/HladkyKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakKKS10,
  author       = {Zdenek Dvor{\'{a}}k and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l' and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {A note on antisymmetric flows in graphs},
  journal      = {Eur. J. Comb.},
  volume       = {31},
  number       = {1},
  pages        = {320--324},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ejc.2009.05.005},
  doi          = {10.1016/J.EJC.2009.05.005},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakKKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/HavetKSS10,
  author       = {Fr{\'{e}}d{\'{e}}ric Havet and
                  Daniel Kr{\'{a}}l' and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Riste Skrekovski},
  title        = {Facial colorings using Hall's Theorem},
  journal      = {Eur. J. Comb.},
  volume       = {31},
  number       = {3},
  pages        = {1001--1019},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ejc.2009.10.003},
  doi          = {10.1016/J.EJC.2009.10.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/HavetKSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/EsperetKSS10,
  author       = {Louis Esperet and
                  Daniel Kr{\'{a}}l' and
                  Petr Skoda and
                  Riste Skrekovski},
  title        = {An improved linear bound on the number of perfect matchings in cubic
                  graphs},
  journal      = {Eur. J. Comb.},
  volume       = {31},
  number       = {5},
  pages        = {1316--1334},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.ejc.2009.11.008},
  doi          = {10.1016/J.EJC.2009.11.008},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/EsperetKSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralMMS10,
  author       = {Daniel Kr{\'{a}}l' and
                  Edita M{\'{a}}cajov{\'{a}} and
                  J{\'{a}}n Maz{\'{a}}k and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {Circular edge-colorings of cubic graphs with girth six},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {100},
  number       = {4},
  pages        = {351--358},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jctb.2009.10.003},
  doi          = {10.1016/J.JCTB.2009.10.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KralMMS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KostochkaKSS10,
  author       = {Alexandr V. Kostochka and
                  Daniel Kr{\'{a}}l' and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Michael Stiebitz},
  title        = {Graphs with bounded tree-width and large odd-girth are almost bipartite},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {100},
  number       = {6},
  pages        = {554--559},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jctb.2010.04.004},
  doi          = {10.1016/J.JCTB.2010.04.004},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KostochkaKSS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralNP10,
  author       = {Daniel Kr{\'{a}}l' and
                  Serguei Norine and
                  Ondrej Pangr{\'{a}}c},
  title        = {Markov bases of binary graph models of K\({}_{\mbox{4}}\)-minor free
                  graphs},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {117},
  number       = {6},
  pages        = {759--765},
  year         = {2010},
  url          = {https://doi.org/10.1016/j.jcta.2009.07.007},
  doi          = {10.1016/J.JCTA.2009.07.007},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KralNP10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/DvorakKS10,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l' and
                  Riste Skrekovski},
  title        = {Non-rainbow colorings of 3-, 4- and 5-connected plane graphs},
  journal      = {J. Graph Theory},
  volume       = {63},
  number       = {2},
  pages        = {129--145},
  year         = {2010},
  url          = {https://doi.org/10.1002/jgt.20414},
  doi          = {10.1002/JGT.20414},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jgt/DvorakKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralS10,
  author       = {Daniel Kr{\'{a}}l' and
                  Ladislav Stacho},
  title        = {Coloring plane graphs with independent crossings},
  journal      = {J. Graph Theory},
  volume       = {64},
  number       = {3},
  pages        = {184--205},
  year         = {2010},
  url          = {https://doi.org/10.1002/jgt.20448},
  doi          = {10.1002/JGT.20448},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KaiserKLNS10,
  author       = {Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l' and
                  Bernard Lidick{\'{y}} and
                  Pavel Nejedl{\'{y}} and
                  Robert S{\'{a}}mal},
  title        = {Short Cycle Covers of Graphs with Minimum Degree Three},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {24},
  number       = {1},
  pages        = {330--355},
  year         = {2010},
  url          = {https://doi.org/10.1137/080717468},
  doi          = {10.1137/080717468},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KaiserKLNS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KardosKS10,
  author       = {Frantisek Kardos and
                  Daniel Kr{\'{a}}l' and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {The Last Fraction of a Fractional Conjecture},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {24},
  number       = {2},
  pages        = {699--707},
  year         = {2010},
  url          = {https://doi.org/10.1137/090779097},
  doi          = {10.1137/090779097},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KardosKS10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/DvorakKT10,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Deciding First-Order Properties for Sparse Graphs},
  booktitle    = {51th Annual {IEEE} Symposium on Foundations of Computer Science, {FOCS}
                  2010, October 23-26, 2010, Las Vegas, Nevada, {USA}},
  pages        = {133--142},
  publisher    = {{IEEE} Computer Society},
  year         = {2010},
  url          = {https://doi.org/10.1109/FOCS.2010.20},
  doi          = {10.1109/FOCS.2010.20},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/DvorakKT10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/Kral10,
  author       = {Daniel Kr{\'{a}}l'},
  editor       = {Samson Abramsky and
                  Cyril Gavoille and
                  Claude Kirchner and
                  Friedhelm Meyer auf der Heide and
                  Paul G. Spirakis},
  title        = {Decomposition Width of Matroids},
  booktitle    = {Automata, Languages and Programming, 37th International Colloquium,
                  {ICALP} 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part
                  {I}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6198},
  pages        = {55--66},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14165-2\_6},
  doi          = {10.1007/978-3-642-14165-2\_6},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/icalp/Kral10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1010-2472,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Three-coloring triangle-free graphs on surfaces I. Extending a coloring
                  to a disk with one triangle},
  journal      = {CoRR},
  volume       = {abs/1010.2472},
  year         = {2010},
  url          = {http://arxiv.org/abs/1010.2472},
  eprinttype    = {arXiv},
  eprint       = {1010.2472},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1010-2472.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/JungicKK09,
  author       = {Veselin Jungic and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l'},
  title        = {A Note on Edge-Colourings Avoiding Rainbow K\({}_{\mbox{4}}\) and
                  Monochromatic K\({}_{\mbox{m}}\)},
  journal      = {Electron. J. Comb.},
  volume       = {16},
  number       = {1},
  year         = {2009},
  url          = {https://doi.org/10.37236/257},
  doi          = {10.37236/257},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/JungicKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/KralW09,
  author       = {Daniel Kr{\'{a}}l' and
                  Douglas B. West},
  title        = {Chromatic Number for a Generalization of Cartesian Product Graphs},
  journal      = {Electron. J. Comb.},
  volume       = {16},
  number       = {1},
  year         = {2009},
  url          = {https://doi.org/10.37236/160},
  doi          = {10.37236/160},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/KralW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/DvorakKNS09,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Pavel Nejedl{\'{y}} and
                  Riste Skrekovski},
  title        = {Distance constrained labelings of planar graphs with no short cycles},
  journal      = {Discret. Appl. Math.},
  volume       = {157},
  number       = {12},
  pages        = {2634--2645},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.dam.2008.08.013},
  doi          = {10.1016/J.DAM.2008.08.013},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/DvorakKNS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/GriggsK09,
  author       = {Jerrold R. Griggs and
                  Daniel Kr{\'{a}}l},
  title        = {Graph labellings with variable weights, a survey},
  journal      = {Discret. Appl. Math.},
  volume       = {157},
  number       = {12},
  pages        = {2646--2658},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.dam.2008.08.024},
  doi          = {10.1016/J.DAM.2008.08.024},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/GriggsK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/KralN09,
  author       = {Daniel Kr{\'{a}}l and
                  Pavel Nejedl{\'{y}}},
  title        = {Distance constrained labelings of K\({}_{\mbox{4}}\)-minor free graphs},
  journal      = {Discret. Math.},
  volume       = {309},
  number       = {18},
  pages        = {5745--5756},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.disc.2008.05.022},
  doi          = {10.1016/J.DISC.2008.05.022},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/KralN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KralMPRSS09,
  author       = {Daniel Kr{\'{a}}l and
                  Edita M{\'{a}}cajov{\'{a}} and
                  Ondrej Pangr{\'{a}}c and
                  Andr{\'{e}} Raspaud and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Martin Skoviera},
  title        = {Projective, affine, and abelian colorings of cubic graphs},
  journal      = {Eur. J. Comb.},
  volume       = {30},
  number       = {1},
  pages        = {53--69},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.ejc.2007.11.029},
  doi          = {10.1016/J.EJC.2007.11.029},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/KralMPRSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/EsperetKK09,
  author       = {Louis Esperet and
                  Frantisek Kardos and
                  Daniel Kr{\'{a}}l},
  title        = {Cubic bridgeless graphs have more than a linear number of perfect
                  matchings},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {34},
  pages        = {411--415},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.endm.2009.07.068},
  doi          = {10.1016/J.ENDM.2009.07.068},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/EsperetKK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KralMMS09,
  author       = {Daniel Kr{\'{a}}l and
                  Edita M{\'{a}}cajov{\'{a}} and
                  J{\'{a}}n Maz{\'{a}}k and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {Circular edge-colorings of cubic graphs with girth six},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {34},
  pages        = {525--529},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.endm.2009.07.087},
  doi          = {10.1016/J.ENDM.2009.07.087},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/KralMMS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/HladkyKN09,
  author       = {Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Sergey Norin},
  title        = {Counting flags in triangle-free digraphs},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {34},
  pages        = {621--625},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.endm.2009.07.105},
  doi          = {10.1016/J.ENDM.2009.07.105},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/HladkyKN09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralSV09,
  author       = {Daniel Kr{\'{a}}l and
                  Oriol Serra and
                  Llu{\'{\i}}s Vena},
  title        = {A combinatorial proof of the Removal Lemma for Groups},
  journal      = {J. Comb. Theory, Ser. {A}},
  volume       = {116},
  number       = {4},
  pages        = {971--978},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jcta.2008.12.003},
  doi          = {10.1016/J.JCTA.2008.12.003},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KralSV09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mst/Kral09,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Polynomial-Size Binary Decision Diagrams for the Exactly Half-\emph{d}-Hyperclique
                  Problem Reading Each Input Bit Twice},
  journal      = {Theory Comput. Syst.},
  volume       = {45},
  number       = {1},
  pages        = {27--42},
  year         = {2009},
  url          = {https://doi.org/10.1007/s00224-007-9067-9},
  doi          = {10.1007/S00224-007-9067-9},
  timestamp    = {Wed, 14 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/mst/Kral09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/DvorakJKP09,
  author       = {Zdenek Dvor{\'{a}}k and
                  Stanislav Jendrol' and
                  Daniel Kr{\'{a}}l and
                  Gyula Pap},
  title        = {Matchings and Nonrainbow Colorings},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {23},
  number       = {1},
  pages        = {344--348},
  year         = {2009},
  url          = {https://doi.org/10.1137/060675927},
  doi          = {10.1137/060675927},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/DvorakJKP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KawarabayashiKKL09,
  author       = {Ken{-}ichi Kawarabayashi and
                  Daniel Kr{\'{a}}l and
                  Jan Kyncl and
                  Bernard Lidick{\'{y}}},
  title        = {6-Critical Graphs on the Klein Bottle},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {23},
  number       = {1},
  pages        = {372--383},
  year         = {2009},
  url          = {https://doi.org/10.1137/070706835},
  doi          = {10.1137/070706835},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KawarabayashiKKL09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/ErmanJKSS09,
  author       = {Rok Erman and
                  Suzana Jurecic and
                  Daniel Kr{\'{a}}l and
                  Kris Stopar and
                  Nik Stopar},
  title        = {Optimal Real Number Graph Labellings of a Subfamily of Kneser Graphs},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {23},
  number       = {3},
  pages        = {1372--1381},
  year         = {2009},
  url          = {https://doi.org/10.1137/060672923},
  doi          = {10.1137/060672923},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/ErmanJKSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralSS09,
  author       = {Daniel Kr{\'{a}}l and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Michael Stiebitz},
  title        = {A New Lower Bound on the Number of Perfect Matchings in Cubic Graphs},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {23},
  number       = {3},
  pages        = {1465--1483},
  year         = {2009},
  url          = {https://doi.org/10.1137/080723843},
  doi          = {10.1137/080723843},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralSS09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/DvorakKT09,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  editor       = {Claire Mathieu},
  title        = {Coloring triangle-free graphs on surfaces},
  booktitle    = {Proceedings of the Twentieth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2009, New York, NY, USA, January 4-6, 2009},
  pages        = {120--129},
  publisher    = {{SIAM}},
  year         = {2009},
  url          = {https://doi.org/10.1137/1.9781611973068.14},
  doi          = {10.1137/1.9781611973068.14},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/DvorakKT09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/DvorakK09,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l},
  editor       = {Christophe Paul and
                  Michel Habib},
  title        = {Algorithms for Classes of Graphs with Bounded Expansion},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 35th International Workshop,
                  {WG} 2009, Montpellier, France, June 24-26, 2009. Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {5911},
  pages        = {17--32},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-11409-0\_2},
  doi          = {10.1007/978-3-642-11409-0\_2},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wg/DvorakK09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0904-2785,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Decomposition width - a new width parameter for matroids},
  journal      = {CoRR},
  volume       = {abs/0904.2785},
  year         = {2009},
  url          = {http://arxiv.org/abs/0904.2785},
  eprinttype    = {arXiv},
  eprint       = {0904.2785},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-0904-2785.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/KralT08,
  author       = {Daniel Kr{\'{a}}l and
                  Robin Thomas},
  title        = {Coloring even-faced graphs in the torus and the Klein bottle},
  journal      = {Comb.},
  volume       = {28},
  number       = {3},
  pages        = {325--341},
  year         = {2008},
  url          = {https://doi.org/10.1007/s00493-008-2315-z},
  doi          = {10.1007/S00493-008-2315-Z},
  timestamp    = {Wed, 22 Jul 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorica/KralT08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KralST08,
  author       = {Daniel Kr{\'{a}}l and
                  Jir{\'{\i}} Sgall and
                  Tom{\'{a}}s Tich{\'{y}}},
  title        = {Randomized strategies for the plurality problem},
  journal      = {Discret. Appl. Math.},
  volume       = {156},
  number       = {17},
  pages        = {3305--3311},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.dam.2008.05.014},
  doi          = {10.1016/J.DAM.2008.05.014},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/KralST08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakKNS08,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Pavel Nejedl{\'{y}} and
                  Riste Skrekovski},
  title        = {Coloring squares of planar graphs with girth six},
  journal      = {Eur. J. Comb.},
  volume       = {29},
  number       = {4},
  pages        = {838--849},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.ejc.2007.11.005},
  doi          = {10.1016/J.EJC.2007.11.005},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakKNS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/ChenettePSTYKKKL08,
  author       = {Nathan Chenette and
                  Luke Postle and
                  Noah Streib and
                  Robin Thomas and
                  Carl Yerger and
                  Ken{-}ichi Kawarabayashi and
                  Daniel Kr{\'{a}}l and
                  Jan Kyncl and
                  Bernard Lidick{\'{y}}},
  title        = {Six-Critical Graphs on the Klein Bottle},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {31},
  pages        = {235--240},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.endm.2008.06.047},
  doi          = {10.1016/J.ENDM.2008.06.047},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/ChenettePSTYKKKL08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralS08,
  author       = {Daniel Kr{\'{a}}l and
                  Ladislav Stacho},
  title        = {Hamiltonian threshold for strong products of graphs},
  journal      = {J. Graph Theory},
  volume       = {58},
  number       = {4},
  pages        = {314--328},
  year         = {2008},
  url          = {https://doi.org/10.1002/jgt.20314},
  doi          = {10.1002/JGT.20314},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/HladkyKSS08,
  author       = {Jan Hladk{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Jean{-}S{\'{e}}bastien Sereni and
                  Michael Stiebitz},
  title        = {List colorings with measurable sets},
  journal      = {J. Graph Theory},
  volume       = {59},
  number       = {3},
  pages        = {229--238},
  year         = {2008},
  url          = {https://doi.org/10.1002/jgt.20335},
  doi          = {10.1002/JGT.20335},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/HladkyKSS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralS08,
  author       = {Daniel Kr{\'{a}}l and
                  Matej Stehl{\'{\i}}k},
  title        = {Coloring of Triangle-Free Graphs on the Double Torus},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {22},
  number       = {2},
  pages        = {541--553},
  year         = {2008},
  url          = {https://doi.org/10.1137/07067920X},
  doi          = {10.1137/07067920X},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralS08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralS08a,
  author       = {Daniel Kr{\'{a}}l and
                  Petr Skoda},
  title        = {Bounds for the Real Number Graph Labellings and Application to Labellings
                  of the Triangular Lattice},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {22},
  number       = {4},
  pages        = {1559--1569},
  year         = {2008},
  url          = {https://doi.org/10.1137/07068552X},
  doi          = {10.1137/07068552X},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralS08a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Kral07,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Mixed hypergraphs and other coloring problems},
  journal      = {Discret. Math.},
  volume       = {307},
  number       = {7-8},
  pages        = {923--938},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.disc.2005.11.050},
  doi          = {10.1016/J.DISC.2005.11.050},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/Kral07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KralMS07,
  author       = {Daniel Kr{\'{a}}l and
                  Tom{\'{a}}s Madaras and
                  Riste Skrekovski},
  title        = {Cyclic, diagonal and facial colorings - a missing case},
  journal      = {Eur. J. Comb.},
  volume       = {28},
  number       = {6},
  pages        = {1637--1639},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ejc.2006.07.005},
  doi          = {10.1016/J.EJC.2006.07.005},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/KralMS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/BellaKMQ07,
  author       = {Peter Bella and
                  Daniel Kr{\'{a}}l and
                  Bojan Mohar and
                  Katar{\'{\i}}na Quittnerov{\'{a}}},
  title        = {Labeling planar graphs with a condition at distance two},
  journal      = {Eur. J. Comb.},
  volume       = {28},
  number       = {8},
  pages        = {2201--2239},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.ejc.2007.04.019},
  doi          = {10.1016/J.EJC.2007.04.019},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/BellaKMQ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KralN07,
  author       = {Daniel Kr{\'{a}}l and
                  Pavel Nejedl{\'{y}}},
  title        = {Distance Constrained Labelings of K\({}_{\mbox{4}}\)-minor Free Graphs},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {28},
  pages        = {549--556},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.endm.2007.01.076},
  doi          = {10.1016/J.ENDM.2007.01.076},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/KralN07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KralMPS07,
  author       = {Daniel Kr{\'{a}}l and
                  Edita M{\'{a}}cajov{\'{a}} and
                  Attila P{\'{o}}r and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {Characterization of affine Steiner triple systems and Hall triple
                  systems},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {29},
  pages        = {17--21},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.endm.2007.07.004},
  doi          = {10.1016/J.ENDM.2007.07.004},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/KralMPS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KralMPS07a,
  author       = {Daniel Kr{\'{a}}l and
                  Edita M{\'{a}}cajov{\'{a}} and
                  Attila P{\'{o}}r and
                  Jean{-}S{\'{e}}bastien Sereni},
  title        = {Edge-colorings of cubic graphs with elements of point-transitive Steiner
                  triple systems},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {29},
  pages        = {23--27},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.endm.2007.07.005},
  doi          = {10.1016/J.ENDM.2007.07.005},
  timestamp    = {Thu, 20 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/endm/KralMPS07a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KaiserKSZ07,
  author       = {Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l and
                  Riste Skrekovski and
                  Xuding Zhu},
  title        = {The circular chromatic index of graphs of high girth},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {97},
  number       = {1},
  pages        = {1--13},
  year         = {2007},
  url          = {https://doi.org/10.1016/j.jctb.2006.03.002},
  doi          = {10.1016/J.JCTB.2006.03.002},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/KaiserKSZ07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralS07,
  author       = {Daniel Kr{\'{a}}l and
                  Ladislav Stacho},
  title        = {Closure for the property of having a hamiltonian prism},
  journal      = {J. Graph Theory},
  volume       = {54},
  number       = {3},
  pages        = {209--220},
  year         = {2007},
  url          = {https://doi.org/10.1002/jgt.20203},
  doi          = {10.1002/JGT.20203},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KaiserKS07,
  author       = {Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l and
                  Ladislav Stacho},
  title        = {Tough spiders},
  journal      = {J. Graph Theory},
  volume       = {56},
  number       = {1},
  pages        = {23--40},
  year         = {2007},
  url          = {https://doi.org/10.1002/jgt.20244},
  doi          = {10.1002/JGT.20244},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KaiserKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KaiserRKRV07,
  author       = {Tom{\'{a}}s Kaiser and
                  Zdenek Ryj{\'{a}}cek and
                  Daniel Kr{\'{a}}l and
                  Moshe Rosenfeld and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {Hamilton cycles in prisms},
  journal      = {J. Graph Theory},
  volume       = {56},
  number       = {4},
  pages        = {249--269},
  year         = {2007},
  url          = {https://doi.org/10.1002/jgt.20250},
  doi          = {10.1002/JGT.20250},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KaiserRKRV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rsa/DvorakJKKS07,
  author       = {Zdenek Dvor{\'{a}}k and
                  V{\'{\i}}t Jel{\'{\i}}nek and
                  Daniel Kr{\'{a}}l and
                  Jan Kyncl and
                  Michael E. Saks},
  title        = {Probabilistic strategies for the partition and plurality problems},
  journal      = {Random Struct. Algorithms},
  volume       = {30},
  number       = {1-2},
  pages        = {63--77},
  year         = {2007},
  url          = {https://doi.org/10.1002/rsa.20148},
  doi          = {10.1002/RSA.20148},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/rsa/DvorakJKKS07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/BabilonJKV07,
  author       = {Robert Babilon and
                  V{\'{\i}}t Jel{\'{\i}}nek and
                  Daniel Kr{\'{a}}l and
                  Pavel Valtr},
  title        = {Labelings of Graphs with Fixed and Variable Edge-Weights},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {21},
  number       = {3},
  pages        = {688--706},
  year         = {2007},
  url          = {https://doi.org/10.1137/040619545},
  doi          = {10.1137/040619545},
  timestamp    = {Tue, 27 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/siamdm/BabilonJKV07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isaac/DvorakKT07,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Robin Thomas},
  editor       = {Takeshi Tokuyama},
  title        = {Coloring Triangle-Free Graphs on Surfaces},
  booktitle    = {Algorithms and Computation, 18th International Symposium, {ISAAC}
                  2007, Sendai, Japan, December 17-19, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4835},
  pages        = {2--4},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-77120-3\_2},
  doi          = {10.1007/978-3-540-77120-3\_2},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/isaac/DvorakKT07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/Kral07,
  author       = {Daniel Kr{\'{a}}l},
  editor       = {Wolfgang Thomas and
                  Pascal Weil},
  title        = {Computing Representations of Matroids of Bounded Branch-Width},
  booktitle    = {{STACS} 2007, 24th Annual Symposium on Theoretical Aspects of Computer
                  Science, Aachen, Germany, February 22-24, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4393},
  pages        = {224--235},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-70918-3\_20},
  doi          = {10.1007/978-3-540-70918-3\_20},
  timestamp    = {Tue, 14 May 2019 10:00:48 +0200},
  biburl       = {https://dblp.org/rec/conf/stacs/Kral07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/KralTZ06,
  author       = {Daniel Kr{\'{a}}l' and
                  Li{-}Da Tong and
                  Xuding Zhu},
  title        = {Upper hamiltonian numbers and hamiltonian spectra of graphs},
  journal      = {Australas. {J} Comb.},
  volume       = {35},
  pages        = {329--340},
  year         = {2006},
  url          = {http://ajc.maths.uq.edu.au/pdf/35/ajc\_v35\_p329.pdf},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ajc/KralTZ06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cc/KaraK06,
  author       = {Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l},
  title        = {Free binary decision diagrams for the computation of EAR\({}_{\mbox{\emph{n}}}\)},
  journal      = {Comput. Complex.},
  volume       = {15},
  number       = {1},
  pages        = {40--61},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00037-006-0206-5},
  doi          = {10.1007/S00037-006-0206-5},
  timestamp    = {Sun, 15 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cc/KaraK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorica/JungicKS06,
  author       = {Veselin Jungic and
                  Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {Colorings Of Plane Graphs With No Rainbow Faces},
  journal      = {Comb.},
  volume       = {26},
  number       = {2},
  pages        = {169--182},
  year         = {2006},
  url          = {https://doi.org/10.1007/s00493-006-0012-3},
  doi          = {10.1007/S00493-006-0012-3},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorica/JungicKS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/GheblehKNT06,
  author       = {Mohammad Ghebleh and
                  Daniel Kr{\'{a}}l and
                  Serguei Norine and
                  Robin Thomas},
  title        = {The Circular Chromatic Index of Flower Snarks},
  journal      = {Electron. J. Comb.},
  volume       = {13},
  number       = {1},
  year         = {2006},
  url          = {https://doi.org/10.37236/1158},
  doi          = {10.37236/1158},
  timestamp    = {Thu, 23 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/GheblehKNT06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/KralKPV06,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Andrzej Proskurowski and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {Coloring mixed hypertrees},
  journal      = {Discret. Appl. Math.},
  volume       = {154},
  number       = {4},
  pages        = {660--672},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.dam.2005.05.019},
  doi          = {10.1016/J.DAM.2005.05.019},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/KralKPV06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/BorowieckiJKM06,
  author       = {Mieczyslaw Borowiecki and
                  Stanislav Jendrol' and
                  Daniel Kr{\'{a}}l and
                  Jozef Miskuf},
  title        = {List coloring of Cartesian products of graphs},
  journal      = {Discret. Math.},
  volume       = {306},
  number       = {16},
  pages        = {1955--1958},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.disc.2006.03.062},
  doi          = {10.1016/J.DISC.2006.03.062},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/BorowieckiJKM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakKK06,
  author       = {Zdenek Dvor{\'{a}}k and
                  Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l},
  title        = {Eulerian colorings and the bipartizing matchings conjecture of Fleischner},
  journal      = {Eur. J. Comb.},
  volume       = {27},
  number       = {7},
  pages        = {1088--1101},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.ejc.2006.06.002},
  doi          = {10.1016/J.EJC.2006.06.002},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakKK06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/Kral06,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Extending partial 5-colorings and 6-colorings in planar graphs},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {96},
  number       = {1},
  pages        = {100--110},
  year         = {2006},
  url          = {https://doi.org/10.1016/j.jctb.2005.06.006},
  doi          = {10.1016/J.JCTB.2005.06.006},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/Kral06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralS06,
  author       = {Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {The last excluded case of Dirac's map-color theorem for choosability},
  journal      = {J. Graph Theory},
  volume       = {51},
  number       = {4},
  pages        = {319--354},
  year         = {2006},
  url          = {https://doi.org/10.1002/jgt.20136},
  doi          = {10.1002/JGT.20136},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralS06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralST06,
  author       = {Daniel Kr{\'{a}}l and
                  Riste Skrekovski and
                  Martin Tancer},
  title        = {Construction of Large Graphs with No Optimal Surjective L(2, 1)-Labelings},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {20},
  number       = {2},
  pages        = {536--543},
  year         = {2006},
  url          = {https://doi.org/10.1137/050623061},
  doi          = {10.1137/050623061},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralST06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/Kral06,
  author       = {Daniel Kr{\'{a}}l},
  title        = {The Channel Assignment Problem with Variable Weights},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {20},
  number       = {3},
  pages        = {690--704},
  year         = {2006},
  url          = {https://doi.org/10.1137/040619636},
  doi          = {10.1137/040619636},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/Kral06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dam/Kral05,
  author       = {Daniel Kr{\'{a}}l},
  title        = {An exact algorithm for the channel assignment problem},
  journal      = {Discret. Appl. Math.},
  volume       = {145},
  number       = {2},
  pages        = {326--331},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.dam.2004.01.020},
  doi          = {10.1016/J.DAM.2004.01.020},
  timestamp    = {Thu, 11 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dam/Kral05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/DvorakKS05,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {Coloring face hypergraphs on surfaces},
  journal      = {Eur. J. Comb.},
  volume       = {26},
  number       = {1},
  pages        = {95--110},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ejc.2004.01.003},
  doi          = {10.1016/J.EJC.2004.01.003},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ejc/DvorakKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KralMS05,
  author       = {Daniel Kr{\'{a}}l and
                  Tom{\'{a}}s Madaras and
                  Riste Skrekovski},
  title        = {Cyclic, diagonal and facial colorings},
  journal      = {Eur. J. Comb.},
  volume       = {26},
  number       = {3-4},
  pages        = {473--490},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.ejc.2004.01.016},
  doi          = {10.1016/J.EJC.2004.01.016},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/KralMS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/endm/KaiserKN05,
  author       = {Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l and
                  Serguei Norine},
  title        = {Unions of perfect matchings in cubic graphs},
  journal      = {Electron. Notes Discret. Math.},
  volume       = {22},
  pages        = {341--345},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.endm.2005.06.079},
  doi          = {10.1016/J.ENDM.2005.06.079},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/endm/KaiserKN05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralMSP05,
  author       = {Daniel Kr{\'{a}}l and
                  Jana Maxov{\'{a}} and
                  Robert S{\'{a}}mal and
                  Pavel Podbrdsk{\'{y}}},
  title        = {Hamilton cycles in strong products of graphs},
  journal      = {J. Graph Theory},
  volume       = {48},
  number       = {4},
  pages        = {299--321},
  year         = {2005},
  url          = {https://doi.org/10.1002/jgt.20058},
  doi          = {10.1002/JGT.20058},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralMSP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralS05,
  author       = {Daniel Kr{\'{a}}l and
                  Jir{\'{\i}} Sgall},
  title        = {Coloring graphs from lists with bounded size of their union},
  journal      = {J. Graph Theory},
  volume       = {49},
  number       = {3},
  pages        = {177--186},
  year         = {2005},
  url          = {https://doi.org/10.1002/jgt.20073},
  doi          = {10.1002/JGT.20073},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jgt/KralPV05,
  author       = {Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {A note on group colorings},
  journal      = {J. Graph Theory},
  volume       = {50},
  number       = {2},
  pages        = {123--129},
  year         = {2005},
  url          = {https://doi.org/10.1002/jgt.20098},
  doi          = {10.1002/JGT.20098},
  timestamp    = {Fri, 02 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jgt/KralPV05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/FialaKS05,
  author       = {Jir{\'{\i}} Fiala and
                  Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {A Brooks-Type Theorem for the Generalized List T-Coloring},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {19},
  number       = {3},
  pages        = {588--609},
  year         = {2005},
  url          = {https://doi.org/10.1137/S0895480103437870},
  doi          = {10.1137/S0895480103437870},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/FialaKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/DvorakKP05,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  title        = {Locally consistent constraint satisfaction problems},
  journal      = {Theor. Comput. Sci.},
  volume       = {348},
  number       = {2-3},
  pages        = {187--206},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.09.012},
  doi          = {10.1016/J.TCS.2005.09.012},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/DvorakKP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/Kral05,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Group coloring is {\(\pi\)}\({}_{\mbox{2}}\)\({}^{\mbox{P}}\)-complete},
  journal      = {Theor. Comput. Sci.},
  volume       = {349},
  number       = {1},
  pages        = {99--111},
  year         = {2005},
  url          = {https://doi.org/10.1016/j.tcs.2005.09.033},
  doi          = {10.1016/J.TCS.2005.09.033},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/Kral05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KralP05,
  author       = {Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Joanna Jedrzejowicz and
                  Andrzej Szepietowski},
  title        = {An Asymptotically Optimal Linear-Time Algorithm for Locally Consistent
                  Constraint Satisfaction Problems},
  booktitle    = {Mathematical Foundations of Computer Science 2005, 30th International
                  Symposium, {MFCS} 2005, Gdansk, Poland, August 29 - September 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3618},
  pages        = {603--614},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11549345\_52},
  doi          = {10.1007/11549345\_52},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KralP05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/FederHKS05,
  author       = {Tom{\'{a}}s Feder and
                  Pavol Hell and
                  Daniel Kr{\'{a}}l and
                  Jir{\'{\i}} Sgall},
  title        = {Two algorithms for general list matrix partitions},
  booktitle    = {Proceedings of the Sixteenth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2005, Vancouver, British Columbia, Canada, January
                  23-25, 2005},
  pages        = {870--876},
  publisher    = {{SIAM}},
  year         = {2005},
  url          = {http://dl.acm.org/citation.cfm?id=1070432.1070554},
  timestamp    = {Wed, 11 Nov 2015 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/FederHKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/DvorakJKKS05,
  author       = {Zdenek Dvor{\'{a}}k and
                  V{\'{\i}}t Jel{\'{\i}}nek and
                  Daniel Kr{\'{a}}l and
                  Jan Kyncl and
                  Michael E. Saks},
  editor       = {Volker Diekert and
                  Bruno Durand},
  title        = {Three Optimal Algorithms for Balls of Three Colors},
  booktitle    = {{STACS} 2005, 22nd Annual Symposium on Theoretical Aspects of Computer
                  Science, Stuttgart, Germany, February 24-26, 2005, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3404},
  pages        = {206--217},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/978-3-540-31856-9\_17},
  doi          = {10.1007/978-3-540-31856-9\_17},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/stacs/DvorakJKKS05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/BodirskyK05,
  author       = {Manuel Bodirsky and
                  Daniel Kr{\'{a}}l},
  editor       = {Dieter Kratsch},
  title        = {Locally Consistent Constraint Satisfaction Problems with Binary Constraints},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 31st International Workshop,
                  {WG} 2005, Metz, France, June 23-25, 2005, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {3787},
  pages        = {295--306},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11604686\_26},
  doi          = {10.1007/11604686\_26},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wg/BodirskyK05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/Kral04,
  author       = {Daniel Kr{\'{a}}l},
  title        = {On Feasible Sets of Mixed Hypergraphs},
  journal      = {Electron. J. Comb.},
  volume       = {11},
  number       = {1},
  year         = {2004},
  url          = {https://doi.org/10.37236/1772},
  doi          = {10.37236/1772},
  timestamp    = {Fri, 10 Jun 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/combinatorics/Kral04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Kral04a,
  author       = {Daniel Kr{\'{a}}l},
  title        = {On maximum face-constrained coloring of plane graphs with no short
                  face cycles},
  journal      = {Discret. Math.},
  volume       = {277},
  number       = {1-3},
  pages        = {301--307},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.disc.2003.08.001},
  doi          = {10.1016/J.DISC.2003.08.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/Kral04a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/KralKV04,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {Mixed hypercacti},
  journal      = {Discret. Math.},
  volume       = {286},
  number       = {1-2},
  pages        = {99--113},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.disc.2003.11.051},
  doi          = {10.1016/J.DISC.2003.11.051},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/KralKV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dm/Kral04,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Haj{\'{o}}s' theorem for list coloring},
  journal      = {Discret. Math.},
  volume       = {287},
  number       = {1-3},
  pages        = {161--163},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.disc.2004.07.001},
  doi          = {10.1016/J.DISC.2004.07.001},
  timestamp    = {Fri, 12 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dm/Kral04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ejc/KralS04,
  author       = {Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {Borodin's conjecture on diagonal coloring is false},
  journal      = {Eur. J. Comb.},
  volume       = {25},
  number       = {6},
  pages        = {813--816},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.ejc.2003.04.004},
  doi          = {10.1016/J.EJC.2003.04.004},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ejc/KralS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/gc/KralMPS04,
  author       = {Daniel Kr{\'{a}}l and
                  Jana Maxov{\'{a}} and
                  Pavel Podbrdsk{\'{y}} and
                  Robert S{\'{a}}mal},
  title        = {Pancyclicity of Strong Products of Graphs},
  journal      = {Graphs Comb.},
  volume       = {20},
  number       = {1},
  pages        = {91--104},
  year         = {2004},
  url          = {https://doi.org/10.1007/s00373-003-0545-9},
  doi          = {10.1007/S00373-003-0545-9},
  timestamp    = {Thu, 04 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/gc/KralMPS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KralV04,
  author       = {Daniel Kr{\'{a}}l and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {Edge-disjoint odd cycles in planar graphs},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {90},
  number       = {1},
  pages        = {107--120},
  year         = {2004},
  url          = {https://doi.org/10.1016/S0095-8956(03)00078-9},
  doi          = {10.1016/S0095-8956(03)00078-9},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jct/KralV04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jct/KaiserKS04,
  author       = {Tom{\'{a}}s Kaiser and
                  Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {A revival of the girth conjecture},
  journal      = {J. Comb. Theory, Ser. {B}},
  volume       = {92},
  number       = {1},
  pages        = {41--53},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.jctb.2004.04.003},
  doi          = {10.1016/J.JCTB.2004.04.003},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jct/KaiserKS04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/Kral04,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Coloring Powers of Chordal Graphs},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {18},
  number       = {3},
  pages        = {451--461},
  year         = {2004},
  url          = {https://doi.org/10.1137/S0895480103424079},
  doi          = {10.1137/S0895480103424079},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/Kral04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KralMSTW04,
  author       = {Daniel Kr{\'{a}}l and
                  Vladan Majerech and
                  Jir{\'{\i}} Sgall and
                  Tom{\'{a}}s Tich{\'{y}} and
                  Gerhard J. Woeginger},
  title        = {It is tough to be a plumber},
  journal      = {Theor. Comput. Sci.},
  volume       = {313},
  number       = {3},
  pages        = {473--484},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.tcs.2002.12.002},
  doi          = {10.1016/J.TCS.2002.12.002},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KralMSTW04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DvorakKP04,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Josep D{\'{\i}}az and
                  Juhani Karhum{\"{a}}ki and
                  Arto Lepist{\"{o}} and
                  Donald Sannella},
  title        = {Locally Consistent Constraint Satisfaction Problems: (Extended Abstract)},
  booktitle    = {Automata, Languages and Programming: 31st International Colloquium,
                  {ICALP} 2004, Turku, Finland, July 12-16, 2004. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3142},
  pages        = {469--480},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27836-8\_41},
  doi          = {10.1007/978-3-540-27836-8\_41},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/DvorakKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KralN04,
  author       = {Daniel Kr{\'{a}}l and
                  Pavel Nejedl{\'{y}}},
  editor       = {Jir{\'{\i}} Fiala and
                  V{\'{a}}clav Koubek and
                  Jan Kratochv{\'{\i}}l},
  title        = {Group Coloring and List Group Coloring Are Pi\({}_{\mbox{2}}\)P-Complete
                  (Extended Abstract)},
  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        = {274--286},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-28629-5\_19},
  doi          = {10.1007/978-3-540-28629-5\_19},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KralN04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soda/Kral04,
  author       = {Daniel Kr{\'{a}}l},
  editor       = {J. Ian Munro},
  title        = {Locally satisfiable formulas},
  booktitle    = {Proceedings of the Fifteenth Annual {ACM-SIAM} Symposium on Discrete
                  Algorithms, {SODA} 2004, New Orleans, Louisiana, USA, January 11-14,
                  2004},
  pages        = {330--339},
  publisher    = {{SIAM}},
  year         = {2004},
  url          = {http://dl.acm.org/citation.cfm?id=982792.982839},
  timestamp    = {Fri, 07 Dec 2012 17:02:08 +0100},
  biburl       = {https://dblp.org/rec/conf/soda/Kral04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/swat/DvorakKKP04,
  author       = {Zdenek Dvor{\'{a}}k and
                  Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Torben Hagerup and
                  Jyrki Katajainen},
  title        = {An Algorithm for Cyclic Edge Connectivity of Cubic Graphs},
  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        = {236--247},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27810-8\_21},
  doi          = {10.1007/978-3-540-27810-8\_21},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/swat/DvorakKKP04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR04-051,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  title        = {Locally consistent constraint satisfaction problems},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR04-051}},
  year         = {2004},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2004/TR04-051/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR04-051},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR04-051.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ajc/Kral03,
  author       = {Daniel Kr{\'{a}}l'},
  title        = {A counter-example to Voloshin's hypergraph co-perfectness conjecture},
  journal      = {Australas. {J} Comb.},
  volume       = {27},
  pages        = {253--262},
  year         = {2003},
  url          = {http://ajc.maths.uq.edu.au/pdf/27/ajc\_v27\_p253.pdf},
  timestamp    = {Wed, 11 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ajc/Kral03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/arscom/Kral03,
  author       = {Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l},
  title        = {Minimum Degree and the Number of Chords},
  journal      = {Ars Comb.},
  volume       = {68},
  year         = {2003},
  timestamp    = {Tue, 02 Dec 2003 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/arscom/Kral03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamdm/KralS03,
  author       = {Daniel Kr{\'{a}}l and
                  Riste Skrekovski},
  title        = {A Theorem about the Channel Assignment Problem},
  journal      = {{SIAM} J. Discret. Math.},
  volume       = {16},
  number       = {3},
  pages        = {426--437},
  year         = {2003},
  url          = {https://doi.org/10.1137/S0895480101399449},
  doi          = {10.1137/S0895480101399449},
  timestamp    = {Thu, 14 Oct 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamdm/KralS03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KralKV03,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Heinz{-}J{\"{u}}rgen Voss},
  title        = {Mixed hypergraphs with bounded degree: edge-coloring of mixed multigraphs},
  journal      = {Theor. Comput. Sci.},
  volume       = {295},
  pages        = {263--278},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0304-3975(02)00408-5},
  doi          = {10.1016/S0304-3975(02)00408-5},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/KralKV03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR03-050,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Locally satisfiable formulas},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR03-050}},
  year         = {2003},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-050/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR03-050},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR03-050.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR03-061,
  author       = {Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l},
  title        = {Free Binary Decision Diagrams for Computation of EAR\({}_{\mbox{n}}\)},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR03-061}},
  year         = {2003},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2003/TR03-061/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR03-061},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR03-061.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KaraK02,
  author       = {Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l},
  editor       = {Krzysztof Diks and
                  Wojciech Rytter},
  title        = {Optimal Free Binary Decision Diagrams for Computation of EAR\({}_{\mbox{n}}\)},
  booktitle    = {Mathematical Foundations of Computer Science 2002, 27th International
                  Symposium, {MFCS} 2002, Warsaw, Poland, August 26-30, 2002, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2420},
  pages        = {411--422},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-45687-2\_34},
  doi          = {10.1007/3-540-45687-2\_34},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KaraK02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/DvorakKKP02,
  author       = {Zdenek Dvor{\'{a}}k and
                  Jan K{\'{a}}ra and
                  Daniel Kr{\'{a}}l and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Ludek Kucera},
  title        = {Complexity of Pattern Coloring of Cycle Systems},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 28th International Workshop,
                  {WG} 2002, Cesky Krumlov, Czech Republic, June 13-15, 2002, Revised
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2573},
  pages        = {164--175},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/3-540-36379-3\_15},
  doi          = {10.1007/3-540-36379-3\_15},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/wg/DvorakKKP02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/combinatorics/DvorakK01,
  author       = {Zdenek Dvor{\'{a}}k and
                  Daniel Kr{\'{a}}l},
  title        = {On Planar Mixed Hypergraphs},
  journal      = {Electron. J. Comb.},
  volume       = {8},
  number       = {1},
  year         = {2001},
  url          = {https://doi.org/10.37236/1579},
  doi          = {10.37236/1579},
  timestamp    = {Fri, 01 Dec 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/combinatorics/DvorakK01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fct/Kral01,
  author       = {Daniel Kr{\'{a}}l},
  editor       = {Rusins Freivalds},
  title        = {On Complexity of Colouring Mixed Hypertrees},
  booktitle    = {Fundamentals of Computation Theory, 13th International Symposium,
                  {FCT} 2001, Riga, Latvia, August 22-24, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2138},
  pages        = {516--524},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44669-9\_58},
  doi          = {10.1007/3-540-44669-9\_58},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/fct/Kral01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gd/CernyKNP01,
  author       = {Jakub Cern{\'{y}} and
                  Daniel Kr{\'{a}}l and
                  Helena Nyklov{\'{a}} and
                  Ondrej Pangr{\'{a}}c},
  editor       = {Petra Mutzel and
                  Michael J{\"{u}}nger and
                  Sebastian Leipert},
  title        = {On Intersection Graphs of Segments with Prescribed Slopes},
  booktitle    = {Graph Drawing, 9th International Symposium, {GD} 2001 Vienna, Austria,
                  September 23-26, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2265},
  pages        = {261--271},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45848-4\_21},
  doi          = {10.1007/3-540-45848-4\_21},
  timestamp    = {Sun, 13 Nov 2022 09:57:35 +0100},
  biburl       = {https://dblp.org/rec/conf/gd/CernyKNP01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/KralKV01,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Heinz{-}J{\"{u}}rgen Voss},
  editor       = {Jir{\'{\i}} Sgall and
                  Ales Pultr and
                  Petr Kolman},
  title        = {Complexity Note on Mixed Hypergraphs},
  booktitle    = {Mathematical Foundations of Computer Science 2001, 26th International
                  Symposium, {MFCS} 2001 Marianske Lazne, Czech Republic, August 27-31,
                  2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2136},
  pages        = {474--486},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-44683-4\_42},
  doi          = {10.1007/3-540-44683-4\_42},
  timestamp    = {Sat, 19 Oct 2019 20:31:50 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/KralKV01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KralKTW01,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Zsolt Tuza and
                  Gerhard J. Woeginger},
  editor       = {Andreas Brandst{\"{a}}dt and
                  Van Bang Le},
  title        = {Complexity of Coloring Graphs without Forbidden Induced Subgraphs},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 27th International Workshop,
                  {WG} 2001, Boltenhagen, Germany, June 14-16, 2001, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2204},
  pages        = {254--262},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-45477-2\_23},
  doi          = {10.1007/3-540-45477-2\_23},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wg/KralKTW01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Kral00,
  author       = {Daniel Kr{\'{a}}l},
  editor       = {Mogens Nielsen and
                  Branislav Rovan},
  title        = {Algebraic and Uniqueness Properties of Parity Ordered Binary Decision
                  Diagrams and Their Generalization},
  booktitle    = {Mathematical Foundations of Computer Science 2000, 25th International
                  Symposium, {MFCS} 2000, Bratislava, Slovakia, August 28 - September
                  1, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1893},
  pages        = {477--487},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44612-5\_43},
  doi          = {10.1007/3-540-44612-5\_43},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Kral00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wg/KralKPV00,
  author       = {Daniel Kr{\'{a}}l and
                  Jan Kratochv{\'{\i}}l and
                  Andrzej Proskurowski and
                  Heinz{-}J{\"{u}}rgen Voss},
  editor       = {Ulrik Brandes and
                  Dorothea Wagner},
  title        = {Coloring Mixed Hypertrees},
  booktitle    = {Graph-Theoretic Concepts in Computer Science, 26th International Workshop,
                  {WG} 2000, Konstanz, Germany, June 15-17, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1928},
  pages        = {279--289},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-40064-8\_26},
  doi          = {10.1007/3-540-40064-8\_26},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/wg/KralKPV00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/ECCC-TR00-013,
  author       = {Daniel Kr{\'{a}}l},
  title        = {Algebraic and Uniqueness Properties of Parity Ordered Binary Decision
                  Diagrams and their Generalization},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR00-013}},
  year         = {2000},
  url          = {https://eccc.weizmann.ac.il/eccc-reports/2000/TR00-013/index.html},
  eprinttype    = {ECCC},
  eprint       = {TR00-013},
  timestamp    = {Wed, 28 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/ECCC-TR00-013.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics