Search dblp for Publications

export results for "many instance"

 download as .bib file

@article{DBLP:journals/titb/WanLWTLYS24,
  author       = {Zhijiang Wan and
                  Manyu Li and
                  Zihan Wang and
                  Hai Tan and
                  Wei Li and
                  Lisu Yu and
                  Dinesh Jackson Samuel},
  title        = {CellT-Net: {A} Composite Transformer Method for 2-D Cell Instance
                  Segmentation},
  journal      = {{IEEE} J. Biomed. Health Informatics},
  volume       = {28},
  number       = {2},
  pages        = {730--741},
  year         = {2024},
  url          = {https://doi.org/10.1109/JBHI.2023.3265006},
  doi          = {10.1109/JBHI.2023.3265006},
  timestamp    = {Thu, 29 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/titb/WanLWTLYS24.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/ZhangYLPL22,
  author       = {Yiming Zhang and
                  Lujia Yin and
                  Dongsheng Li and
                  Yuxing Peng and
                  Kai Lu},
  title        = {ParaX : Bandwidth-Efficient Instance Assignment for {DL} on Multi-NUMA
                  Many-Core CPUs},
  journal      = {{IEEE} Trans. Computers},
  volume       = {71},
  number       = {11},
  pages        = {3032--3046},
  year         = {2022},
  url          = {https://doi.org/10.1109/TC.2022.3145164},
  doi          = {10.1109/TC.2022.3145164},
  timestamp    = {Mon, 06 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tc/ZhangYLPL22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dcai/Villegas-Jaramillo22,
  author       = {Eduardo{-}Jos{\'{e}} Villegas{-}Jaramillo and
                  Ana{-}Lorena Uribe{-}Hurtado and
                  Mauricio Orozco{-}Alzate},
  editor       = {Sigeru Omatu and
                  Rashid Mehmood and
                  Pawel Sitek and
                  Serafino Cicerone and
                  Sara Rodr{\'{\i}}guez},
  title        = {Multi-core Parallelization of Point Set Dissimilarities for Accelerating
                  the Comparison of Bags with Many Instances},
  booktitle    = {Distributed Computing and Artificial Intelligence, 19th International
                  Conference, {DCAI} 2022, L'Aquila, Italy, 13-15 July 2022},
  series       = {Lecture Notes in Networks and Systems},
  volume       = {583},
  pages        = {208--218},
  publisher    = {Springer},
  year         = {2022},
  url          = {https://doi.org/10.1007/978-3-031-20859-1\_21},
  doi          = {10.1007/978-3-031-20859-1\_21},
  timestamp    = {Mon, 11 Mar 2024 20:43:17 +0100},
  biburl       = {https://dblp.org/rec/conf/dcai/Villegas-Jaramillo22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mm/ZhangRWY22,
  author       = {Manyi Zhang and
                  Yuxin Ren and
                  Zihao Wang and
                  Chun Yuan},
  editor       = {Jo{\~{a}}o Magalh{\~{a}}es and
                  Alberto Del Bimbo and
                  Shin'ichi Satoh and
                  Nicu Sebe and
                  Xavier Alameda{-}Pineda and
                  Qin Jin and
                  Vincent Oria and
                  Laura Toni},
  title        = {Tackling Instance-Dependent Label Noise with Dynamic Distribution
                  Calibration},
  booktitle    = {{MM} '22: The 30th {ACM} International Conference on Multimedia, Lisboa,
                  Portugal, October 10 - 14, 2022},
  pages        = {4635--4644},
  publisher    = {{ACM}},
  year         = {2022},
  url          = {https://doi.org/10.1145/3503161.3547984},
  doi          = {10.1145/3503161.3547984},
  timestamp    = {Fri, 14 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/mm/ZhangRWY22.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-05126,
  author       = {Manyi Zhang and
                  Yuxin Ren and
                  Zihao Wang and
                  Chun Yuan},
  title        = {Tackling Instance-Dependent Label Noise with Dynamic Distribution
                  Calibration},
  journal      = {CoRR},
  volume       = {abs/2210.05126},
  year         = {2022},
  url          = {https://doi.org/10.48550/arXiv.2210.05126},
  doi          = {10.48550/ARXIV.2210.05126},
  eprinttype    = {arXiv},
  eprint       = {2210.05126},
  timestamp    = {Thu, 13 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2210-05126.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcsc/LiHZY21,
  author       = {Yanping Li and
                  Zhengtao He and
                  Yan Zhang and
                  Zhen Yang},
  title        = {High-Quality Many-to-Many Voice Conversion Using Transitive Star Generative
                  Adversarial Networks with Adaptive Instance Normalization},
  journal      = {J. Circuits Syst. Comput.},
  volume       = {30},
  number       = {10},
  pages        = {2150188:1--2150188:19},
  year         = {2021},
  url          = {https://doi.org/10.1142/S0218126621501887},
  doi          = {10.1142/S0218126621501887},
  timestamp    = {Wed, 17 Nov 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcsc/LiHZY21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/pr/Garcia-Pedrajas21,
  author       = {Nicol{\'{a}}s Garc{\'{\i}}a{-}Pedrajas and
                  Juan Antonio Romero del Castillo and
                  Gonzalo Cerruela Garc{\'{\i}}a},
  title        = {{SI(FS)2:} Fast simultaneous instance and feature selection for datasets
                  with many features},
  journal      = {Pattern Recognit.},
  volume       = {111},
  pages        = {107723},
  year         = {2021},
  url          = {https://doi.org/10.1016/j.patcog.2020.107723},
  doi          = {10.1016/J.PATCOG.2020.107723},
  timestamp    = {Thu, 31 Dec 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/pr/Garcia-Pedrajas21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cogsci/SundhZCS20,
  author       = {Joakim Sundh and
                  Jian{-}Qiao Zhu and
                  Nicholas Chater and
                  Adam Sanborn},
  editor       = {Stephanie Denison and
                  Michael Mack and
                  Yang Xu and
                  Blair C. Armstrong},
  title        = {How many instances come to mind when making probability estimates?},
  booktitle    = {Proceedings of the 42th Annual Meeting of the Cognitive Science Society
                  - Developing a Mind: Learning in Humans, Animals, and Machines, CogSci
                  2020, virtual, July 29 - August 1, 2020},
  publisher    = {cognitivesciencesociety.org},
  year         = {2020},
  url          = {https://cogsci.mindmodeling.org/2020/papers/0289/index.html},
  timestamp    = {Wed, 17 Apr 2024 12:42:59 +0200},
  biburl       = {https://dblp.org/rec/conf/cogsci/SundhZCS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/VaradarajanWO20,
  author       = {Swetha Varadarajan and
                  L. Darrell Whitley and
                  Gabriela Ochoa},
  editor       = {Carlos Artemio Coello Coello},
  title        = {Why many travelling salesman problem instances are easier than you
                  think},
  booktitle    = {{GECCO} '20: Genetic and Evolutionary Computation Conference, Canc{\'{u}}n
                  Mexico, July 8-12, 2020},
  pages        = {254--262},
  publisher    = {{ACM}},
  year         = {2020},
  url          = {https://doi.org/10.1145/3377930.3390145},
  doi          = {10.1145/3377930.3390145},
  timestamp    = {Mon, 20 Jul 2020 14:23:37 +0200},
  biburl       = {https://dblp.org/rec/conf/gecco/VaradarajanWO20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/spcom/SenthilNS20,
  author       = {Gowtham Senthil and
                  K. Nandhakumar and
                  Gorthi Rama Krishna Sai Subrahmanyam},
  title        = {Handwritten Hindi Word Generation to enable Few Instance Learning
                  of Hindi Documents},
  booktitle    = {International Conference on Signal Processing and Communications,
                  {SPCOM} 2020, Bangalore, India, July 19-24, 2020},
  pages        = {1--5},
  publisher    = {{IEEE}},
  year         = {2020},
  url          = {https://doi.org/10.1109/SPCOM50965.2020.9179634},
  doi          = {10.1109/SPCOM50965.2020.9179634},
  timestamp    = {Mon, 21 Sep 2020 13:13:56 +0200},
  biburl       = {https://dblp.org/rec/conf/spcom/SenthilNS20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icmcs/ZhangZCWZ19,
  author       = {Yi Zhang and
                  Cheng Zeng and
                  Hao Cheng and
                  Chongjun Wang and
                  Lei Zhang},
  title        = {Many Could be Better Than All: {A} Novel Instance-Oriented Algorithm
                  for Multi-modal Multi-label Problem},
  booktitle    = {{IEEE} International Conference on Multimedia and Expo, {ICME} 2019,
                  Shanghai, China, July 8-12, 2019},
  pages        = {838--843},
  publisher    = {{IEEE}},
  year         = {2019},
  url          = {https://doi.org/10.1109/ICME.2019.00149},
  doi          = {10.1109/ICME.2019.00149},
  timestamp    = {Thu, 23 Sep 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icmcs/ZhangZCWZ19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11857,
  author       = {Yi Zhang and
                  Cheng Zeng and
                  Hao Cheng and
                  Chongjun Wang and
                  Lei Zhang},
  title        = {Many could be better than all: {A} novel instance-oriented algorithm
                  for Multi-modal Multi-label problem},
  journal      = {CoRR},
  volume       = {abs/1907.11857},
  year         = {2019},
  url          = {http://arxiv.org/abs/1907.11857},
  eprinttype    = {arXiv},
  eprint       = {1907.11857},
  timestamp    = {Wed, 25 Aug 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1907-11857.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/anor/NedelkovaLPS18,
  author       = {Zuzana Nedelkov{\'{a}} and
                  Peter Lindroth and
                  Michael Patriksson and
                  Ann{-}Brith Str{\"{o}}mberg},
  title        = {Efficient solution of many instances of a simulation-based optimization
                  problem utilizing a partition of the decision space},
  journal      = {Ann. Oper. Res.},
  volume       = {265},
  number       = {1},
  pages        = {93--118},
  year         = {2018},
  url          = {https://doi.org/10.1007/s10479-017-2721-y},
  doi          = {10.1007/S10479-017-2721-Y},
  timestamp    = {Tue, 21 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/anor/NedelkovaLPS18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jihmsp/XueTC018,
  author       = {Xingsi Xue and
                  Zhengyi Tang and
                  Junfeng Chen and
                  Jeng{-}Shyang Pan},
  title        = {Many-Objective Instance Matching in Linked Open Data},
  journal      = {J. Inf. Hiding Multim. Signal Process.},
  volume       = {9},
  number       = {2},
  pages        = {383--391},
  year         = {2018},
  url          = {http://bit.kuas.edu.tw/\&\#126;jihmsp/2018/vol9/JIH-MSP-2018-02-012.pdf},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jihmsp/XueTC018.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1811-08084,
  author       = {Daiki Suehiro and
                  Kohei Hatano and
                  Eiji Takimoto and
                  Shuji Yamamoto and
                  Kenichi Bannai and
                  Akiko Takeda},
  title        = {Multiple-Instance Learning by Boosting Infinitely Many Shapelet-based
                  Classifiers},
  journal      = {CoRR},
  volume       = {abs/1811.08084},
  year         = {2018},
  url          = {http://arxiv.org/abs/1811.08084},
  eprinttype    = {arXiv},
  eprint       = {1811.08084},
  timestamp    = {Mon, 26 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1811-08084.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cec/Drugan15,
  author       = {Madalina M. Drugan},
  title        = {Stochastic Pareto local search for many objective quadratic assignment
                  problem instances},
  booktitle    = {{IEEE} Congress on Evolutionary Computation, {CEC} 2015, Sendai, Japan,
                  May 25-28, 2015},
  pages        = {1754--1761},
  publisher    = {{IEEE}},
  year         = {2015},
  url          = {https://doi.org/10.1109/CEC.2015.7257099},
  doi          = {10.1109/CEC.2015.7257099},
  timestamp    = {Wed, 16 Oct 2019 14:14:52 +0200},
  biburl       = {https://dblp.org/rec/conf/cec/Drugan15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BofillMVV15,
  author       = {Miquel Bofill and
                  Felip Many{\`{a}} and
                  Amanda Vidal and
                  Mateu Villaret},
  title        = {Finding Hard Instances of Satisfiability in Lukasiewicz Logics},
  booktitle    = {2015 {IEEE} International Symposium on Multiple-Valued Logic, Waterloo,
                  ON, Canada, May 18-20, 2015},
  pages        = {30--35},
  publisher    = {{IEEE} Computer Society},
  year         = {2015},
  url          = {https://doi.org/10.1109/ISMVL.2015.10},
  doi          = {10.1109/ISMVL.2015.10},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/BofillMVV15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ciac/DolevFG13,
  author       = {Shlomi Dolev and
                  Nova Fandina and
                  Dan Gutfreund},
  editor       = {Paul G. Spirakis and
                  Maria J. Serna},
  title        = {Succinct Permanent Is \emph{NEXP}-Hard with Many Hard Instances},
  booktitle    = {Algorithms and Complexity, 8th International Conference, {CIAC} 2013,
                  Barcelona, Spain, May 22-24, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7878},
  pages        = {183--196},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38233-8\_16},
  doi          = {10.1007/978-3-642-38233-8\_16},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ciac/DolevFG13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/gecco/Drugan13,
  author       = {Madalina M. Drugan},
  editor       = {Christian Blum and
                  Enrique Alba},
  title        = {Cartesian product of scalarization functions for many-objective {QAP}
                  instances with correlated flow matrices: cartesian product of scalarization
                  functions},
  booktitle    = {Genetic and Evolutionary Computation Conference, {GECCO} '13, Amsterdam,
                  The Netherlands, July 6-10, 2013},
  pages        = {527--534},
  publisher    = {{ACM}},
  year         = {2013},
  url          = {https://doi.org/10.1145/2463372.2463433},
  doi          = {10.1145/2463372.2463433},
  timestamp    = {Wed, 13 Jul 2022 16:15:15 +0200},
  biburl       = {https://dblp.org/rec/conf/gecco/Drugan13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eccc/DolevFG12,
  author       = {Shlomi Dolev and
                  Nova Fandina and
                  Dan Gutfreund},
  title        = {Succinct Permanent is NEXP-hard with Many Hard Instances},
  journal      = {Electron. Colloquium Comput. Complex.},
  volume       = {{TR12-086}},
  year         = {2012},
  url          = {https://eccc.weizmann.ac.il/report/2012/086},
  eprinttype    = {ECCC},
  eprint       = {TR12-086},
  timestamp    = {Tue, 27 Sep 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eccc/DolevFG12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/ArgelichLMP11,
  author       = {Josep Argelich and
                  Chu Min Li and
                  Felip Many{\`{a}} and
                  Jordi Planes},
  editor       = {C{\`{e}}sar Fern{\'{a}}ndez and
                  Hector Geffner and
                  Felip Many{\`{a}}},
  title        = {Experimenting with the Instances of the MaxSAT Evaluation},
  booktitle    = {Artificial Intelligence Research and Development - Proceedings of
                  the 14th International Conference of the Catalan Association for Artificial
                  Intelligence, Lleida, Catalonia, Spain, October 26-28, 2011},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {232},
  pages        = {31--40},
  publisher    = {{IOS} Press},
  year         = {2011},
  url          = {https://doi.org/10.3233/978-1-60750-842-7-31},
  doi          = {10.3233/978-1-60750-842-7-31},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ccia/ArgelichLMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sat/ArgelichLMP11,
  author       = {Josep Argelich and
                  Chu Min Li and
                  Felip Many{\`{a}} and
                  Jordi Planes},
  editor       = {Karem A. Sakallah and
                  Laurent Simon},
  title        = {Analyzing the Instances of the MaxSAT Evaluation},
  booktitle    = {Theory and Applications of Satisfiability Testing - {SAT} 2011 - 14th
                  International Conference, {SAT} 2011, Ann Arbor, MI, USA, June 19-22,
                  2011. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6695},
  pages        = {360--361},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-21581-0\_29},
  doi          = {10.1007/978-3-642-21581-0\_29},
  timestamp    = {Sun, 25 Oct 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sat/ArgelichLMP11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acivs/TongphuTD09,
  author       = {Suwan Tongphu and
                  Naddao Thongsak and
                  Matthew N. Dailey},
  editor       = {Jacques Blanc{-}Talon and
                  Wilfried Philips and
                  Dan C. Popescu and
                  Paul Scheunders},
  title        = {Rapid Detection of Many Object Instances},
  booktitle    = {Advanced Concepts for Intelligent Vision Systems, 11th International
                  Conference, {ACIVS} 2009, Bordeaux, France, September 28 - October
                  2, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5807},
  pages        = {434--444},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-04697-1\_40},
  doi          = {10.1007/978-3-642-04697-1\_40},
  timestamp    = {Fri, 27 Dec 2019 21:26:39 +0100},
  biburl       = {https://dblp.org/rec/conf/acivs/TongphuTD09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ismvl/BejarCMP09,
  author       = {Ram{\'{o}}n B{\'{e}}jar and
                  Alba Cabiscol and
                  Felip Many{\`{a}} and
                  Jordi Planes},
  title        = {Generating Hard Instances for MaxSAT},
  booktitle    = {{ISMVL} 2009, 39th International Symposium on Multiple-Valued Logic,
                  21-23 May 2009, Naha, Okinawaw, Japan},
  pages        = {191--195},
  publisher    = {{IEEE} Computer Society},
  year         = {2009},
  url          = {https://doi.org/10.1109/ISMVL.2009.58},
  doi          = {10.1109/ISMVL.2009.58},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ismvl/BejarCMP09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aaai/AnsoteguiBLM08,
  author       = {Carlos Ans{\'{o}}tegui and
                  Maria Luisa Bonet and
                  Jordi Levy and
                  Felip Many{\`{a}}},
  editor       = {Dieter Fox and
                  Carla P. Gomes},
  title        = {Measuring the Hardness of {SAT} Instances},
  booktitle    = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
                  {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages        = {222--228},
  publisher    = {{AAAI} Press},
  year         = {2008},
  url          = {http://www.aaai.org/Library/AAAI/2008/aaai08-035.php},
  timestamp    = {Tue, 05 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AnsoteguiBLM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ccia/AnsoteguiBLM07,
  author       = {Carlos Ans{\'{o}}tegui and
                  Maria Luisa Bonet and
                  Jordi Levy and
                  Felip Many{\`{a}}},
  editor       = {Cecilio Angulo and
                  Llu{\'{\i}}s Godo},
  title        = {What Is a Real-World {SAT} Instance?},
  booktitle    = {Artificial Intelligence Research and Development, Proceedings of the
                  10th International Conference of the ACIA, {CCIA} 2007, October 25-26,
                  2007, Sant Juli{\`{a}} de L{\`{o}}ria, Andorra},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {163},
  pages        = {19--28},
  publisher    = {{IOS} Press},
  year         = {2007},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=7644},
  timestamp    = {Fri, 05 Jun 2020 11:50:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ccia/AnsoteguiBLM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iscas/PariYQ04,
  author       = {Pushkin R. Pari and
                  Lin Yuan and
                  Gang Qu},
  title        = {How many solutions does a {SAT} instance have?},
  booktitle    = {Proceedings of the 2004 International Symposium on Circuits and Systems,
                  {ISCAS} 2004, Vancouver, BC, Canada, May 23-26, 2004},
  pages        = {209--212},
  publisher    = {{IEEE}},
  year         = {2004},
  timestamp    = {Wed, 15 Dec 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/iscas/PariYQ04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/cs-CC-0302001,
  author       = {Ke Xu and
                  Wei Li},
  title        = {Many Hard Examples in Exact Phase Transitions with Application to
                  Generating Hard Satisfiable Instances},
  journal      = {CoRR},
  volume       = {cs.CC/0302001},
  year         = {2003},
  url          = {http://arxiv.org/abs/cs/0302001},
  timestamp    = {Fri, 10 Jan 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/cs-CC-0302001.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mfcs/Mundhenk97,
  author       = {Martin Mundhenk},
  editor       = {Igor Pr{\'{\i}}vara and
                  Peter Ruzicka},
  title        = {NP-Hard Sets Have Many Hard Instances},
  booktitle    = {Mathematical Foundations of Computer Science 1997, 22nd International
                  Symposium, MFCS'97, Bratislava, Slovakia, August 25-29, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1295},
  pages        = {428--437},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0029986},
  doi          = {10.1007/BFB0029986},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/mfcs/Mundhenk97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jc/MizunoMT96,
  author       = {Shinji Mizuno and
                  Nimrod Megiddo and
                  Takashi Tsuchiya},
  title        = {A Linear Programming Instance with Many Crossover Events},
  journal      = {J. Complex.},
  volume       = {12},
  number       = {4},
  pages        = {474--479},
  year         = {1996},
  url          = {https://doi.org/10.1006/jcom.1996.0028},
  doi          = {10.1006/JCOM.1996.0028},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jc/MizunoMT96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics