Whitley, Darrell; Ochoa, Gabriela; Chicano, Francisco Partition crossover can linearize local optima lattices of k-bounded pseudo-Boolean functions. (English) Zbl 07809173 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152-162 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{D. Whitley} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 152--162 (2023; Zbl 07809173) Full Text: DOI
Scott, Eric O.; De Jong, Kenneth A. First complexity results for evolutionary knowledge transfer. (English) Zbl 07809172 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 140-151 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{E. O. Scott} and \textit{K. A. De Jong}, in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 140--151 (2023; Zbl 07809172) Full Text: DOI
Prager, Raphael Patrick; Dietrich, Konstantin; Schneider, Lennart; Schäpermeier, Lennart; Bischl, Bernd; Kerschke, Pascal; Trautmann, Heike; Mersmann, Olaf Neural networks as black-box benchmark functions optimized for exploratory landscape features. (English) Zbl 07809171 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129-139 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{R. P. Prager} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 129--139 (2023; Zbl 07809171) Full Text: DOI
Omeradzic, Amir; Beyer, Hans-Georg Convergence properties of the \((\mu/\mu_i,\lambda)\)-ES on the Rastrigin function. (English) Zbl 07809170 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 117-128 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{A. Omeradzic} and \textit{H.-G. Beyer}, in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 117--128 (2023; Zbl 07809170) Full Text: DOI
Lehre, Per Kristian; Qin, Xiaoyu Self-adaptation can improve the noise-tolerance of evolutionary algorithms. (English) Zbl 07809169 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 105-116 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{P. K. Lehre} and \textit{X. Qin}, in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 105--116 (2023; Zbl 07809169) Full Text: DOI
Kearney, Jack; Neumann, Frank; Sutton, Andrew M. Fixed-parameter tractability of the (1 + 1) evolutionary algorithm on random planted vertex covers. (English) Zbl 07809168 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 96-104 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{J. Kearney} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 96--104 (2023; Zbl 07809168) Full Text: DOI
Kalkreuth, Roman; Vašíček, Zdeněk; Husa, Jakub; Vermetten, Diederick; Ye, Furong; Bäck, Thomas General Boolean function benchmark suite. (English) Zbl 07809167 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 84-95 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{R. Kalkreuth} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 84--95 (2023; Zbl 07809167) Full Text: DOI
Fajardo, Mario Alejandro Hevia; Lehre, Per Kristian; Lin, Shishen Runtime analysis of a co-evolutionary algorithm. Overcoming negative drift in maximin-optimisation. (English) Zbl 07809166 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 73-83 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{M. A. H. Fajardo} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 73--83 (2023; Zbl 07809166) Full Text: DOI
Fischer, Paul; Larsen, Emil Lundt; Witt, Carsten First steps towards a runtime analysis of neuroevolution. (English) Zbl 07809165 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 61-72 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{P. Fischer} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 61--72 (2023; Zbl 07809165) Full Text: DOI arXiv
Cui, Henning; Pätzel, David; Margraf, Andreas; Hähner, Jörg Weighted mutation of connections to mitigate search space limitations in Cartesian genetic programming. (English) Zbl 07809164 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 50-60 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{H. Cui} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 50--60 (2023; Zbl 07809164) Full Text: DOI
Chen, Deyao; Buzdalov, Maxim; Doerr, Carola; Dang, Nguyen Using automated algorithm configuration for parameter control. (English) Zbl 07809163 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 38-49 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{D. Chen} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 38--49 (2023; Zbl 07809163) Full Text: DOI arXiv
Branson, Luke; Sutton, Andrew M.; Yan, Xiankun Finding antimagic labelings of trees by evolutionary search. (English) Zbl 07809162 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 27-37 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{L. Branson} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 27--37 (2023; Zbl 07809162) Full Text: DOI
Antonov, Kirill; Kononova, Anna V.; Bäck, Thomas; van Stein, Niki Curing ill-conditionality via representation-agnostic distance-driven perturbations. (English) Zbl 07809161 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 15-26 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{K. Antonov} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 15--26 (2023; Zbl 07809161) Full Text: DOI
Antipov, Denis; Neumann, Aneta; Neumann, Frank Rigorous runtime analysis of diversity optimization with GSEMO on OneMinMax. (English) Zbl 07809160 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 3-14 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{D. Antipov} et al., in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 3--14 (2023; Zbl 07809160) Full Text: DOI arXiv
Doerr, Carola Bridging theory and practice in evolutionary computation? (English) Zbl 07809159 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 2 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{C. Doerr}, in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 2 (2023; Zbl 07809159) Full Text: DOI
Lozano, José A. Analyzing the Fourier representation of permutation-based combinatorial optimization problems. (English) Zbl 07809158 Chicano, Francisco (ed.) et al., Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 – September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 1 (2023). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{J. A. Lozano}, in: Proceedings of the 17th ACM/SIGEVO workshop on foundations of genetic algorithms, FOGA 2023, Potsdam, Germany, August 30 -- September 1, 2023. New York, NY: Association for Computing Machinery (ACM). 1 (2023; Zbl 07809158) Full Text: DOI
Sudo, Kyohei; Tezuka, Masayuki; Hara, Keisuke; Yoshida, Yusuke Quantum search-to-decision reduction for the LWE problem. (English) Zbl 07798843 El Mrabet, Nadia (ed.) et al., Progress in cryptology – AFRICACRYPT 2023. 14th international conference on cryptology in Africa, Sousse, Tunisia, July 19–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14064, 395-413 (2023). MSC: 94A60 68T07 81P94 68Q25 PDFBibTeX XMLCite \textit{K. Sudo} et al., Lect. Notes Comput. Sci. 14064, 395--413 (2023; Zbl 07798843) Full Text: DOI
Ochoa, Gabriela; Liefooghe, Arnaud; Lavinas, Yuri; Aranha, Claus Decision/objective space trajectory networks for multi-objective combinatorial optimisation. (English) Zbl 07787623 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 211-226 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{G. Ochoa} et al., Lect. Notes Comput. Sci. 13987, 211--226 (2023; Zbl 07787623) Full Text: DOI
Tanaka, Shoichiro; Takadama, Keiki; Sato, Hiroyuki Multi-objectivization relaxes multi-funnel structures in single-objective NK-landscapes. (English) Zbl 07787622 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 195-210 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{S. Tanaka} et al., Lect. Notes Comput. Sci. 13987, 195--210 (2023; Zbl 07787622) Full Text: DOI
Ettrich, Rupert; Huber, Marc; Raidl, Günther R. A policy-based learning beam search for combinatorial optimization. (English) Zbl 07787618 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 130-145 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{R. Ettrich} et al., Lect. Notes Comput. Sci. 13987, 130--145 (2023; Zbl 07787618) Full Text: DOI
Grelier, Cyril; Goudet, Olivier; Hao, Jin-Kao Monte Carlo tree search with adaptive simulation: a case study on weighted vertex coloring. (English) Zbl 07787616 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 98-113 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{C. Grelier} et al., Lect. Notes Comput. Sci. 13987, 98--113 (2023; Zbl 07787616) Full Text: DOI
Sassmann, Vojtěch; Rudová, Hana; Gabonnay, Michal; Sobotka, Václav Real-world vehicle routing using adaptive large neighborhood search. (English) Zbl 07787612 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 34-49 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{V. Sassmann} et al., Lect. Notes Comput. Sci. 13987, 34--49 (2023; Zbl 07787612) Full Text: DOI
El Krari, Mehdi; Guibadj, Rym Nesrine; Woodward, John; Robilliard, Denis Fairer comparisons for travelling salesman problem solutions using hash functions. (English) Zbl 07787610 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 23rd European conference, EvoCOP 2023, held as part of EvoStar 2023, Brno, Czech Republic, April 12–14, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13987, 1-15 (2023). MSC: 68W50 90C27 90C59 PDFBibTeX XMLCite \textit{M. El Krari} et al., Lect. Notes Comput. Sci. 13987, 1--15 (2023; Zbl 07787610) Full Text: DOI
Bonnetain, Xavier; Chailloux, André; Schrottenloher, André; Shen, Yixin Finding many collisions via reusable quantum walks. Application to lattice sieving. (English) Zbl 07774568 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part V. Cham: Springer. Lect. Notes Comput. Sci. 14008, 221-251 (2023). MSC: 81Pxx 94A60 PDFBibTeX XMLCite \textit{X. Bonnetain} et al., Lect. Notes Comput. Sci. 14008, 221--251 (2023; Zbl 07774568) Full Text: DOI arXiv
Jayapaul, Varunkumar; Jo, Seungbum; Palem, Krishna; Satti, Srinivasa Rao Energy efficient sorting, selection and searching. (English) Zbl 07770291 Lin, Chun-Cheng (ed.) et al., WALCOM: algorithms and computation. 17th international conference and workshops, WALCOM 2023, Hsinchu, Taiwan, March 22–24, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13973, 179-190 (2023). MSC: 68Wxx PDFBibTeX XMLCite \textit{V. Jayapaul} et al., Lect. Notes Comput. Sci. 13973, 179--190 (2023; Zbl 07770291) Full Text: DOI
Ito, Takehiro; Kawahara, Jun; Nakahata, Yu; Soh, Takehide; Suzuki, Akira; Teruyama, Junichi; Toda, Takahisa ZDD-based algorithmic framework for solving shortest reconfiguration problems. (English) Zbl 07745660 Cire, Andre A. (ed.), Integration of constraint programming, artificial intelligence, and operations research. 20th international conference, CPAIOR 2023, Nice, France, May 29 – June 1, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13884, 167-183 (2023). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{T. Ito} et al., Lect. Notes Comput. Sci. 13884, 167--183 (2023; Zbl 07745660) Full Text: DOI arXiv
Aydin, Nuh; Lu, Yiyang; Onta, Vishad An updated database of \(\mathbb{Z}_4\) codes and an open problem about quasi-cyclic codes. (English) Zbl 1522.94121 El Hajji, Said (ed.) et al., Codes, cryptology and information security. 4th international conference, C2SI 2023, Rabat, Morocco, May 29–31, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13874, 395-406 (2023). MSC: 94B15 PDFBibTeX XMLCite \textit{N. Aydin} et al., Lect. Notes Comput. Sci. 13874, 395--406 (2023; Zbl 1522.94121) Full Text: DOI
Guo, Jian; Liu, Guozhen; Song, Ling; Tu, Yi Exploring SAT for cryptanalysis: (quantum) collision attacks against 6-round SHA-3. (English) Zbl 07731558 Agrawal, Shweta (ed.) et al., Advances in cryptology – ASIACRYPT 2022. 28th international conference on the theory and application of cryptology and information security, Taipei, Taiwan, December 5–9, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13793, 645-674 (2023). MSC: 81P94 94A60 68P10 03D78 68W35 PDFBibTeX XMLCite \textit{J. Guo} et al., Lect. Notes Comput. Sci. 13793, 645--674 (2023; Zbl 07731558) Full Text: DOI
Blahoudek, František; Chen, Yu-Fang; Chocholatý, David; Havlena, Vojtěch; Holík, Lukáš; Lengál, Ondřej; Síč, Juraj Word equations in synergy with regular constraints. (English) Zbl 07728854 Chechik, Marsha (ed.) et al., Formal methods. 25th international symposium, FM 2023, Lübeck, Germany, March 6–10, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14000, 403-423 (2023). MSC: 68W32 68Q45 68T20 PDFBibTeX XMLCite \textit{F. Blahoudek} et al., Lect. Notes Comput. Sci. 14000, 403--423 (2023; Zbl 07728854) Full Text: DOI arXiv
Jang, Kyungbae; Baksi, Anubhab; Kim, Hyunji; Seo, Hwajeong; Chattopadhyay, Anupam Improved quantum analysis of SPECK and LowMC. (English) Zbl 07726579 Isobe, Takanori (ed.) et al., Progress in cryptology – INDOCRYPT 2022. 23rd international conference on cryptology in India, Kolkata, India, December 11–14, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13774, 517-540 (2023). MSC: 81P68 94A60 68W35 68P10 81P70 68Q06 PDFBibTeX XMLCite \textit{K. Jang} et al., Lect. Notes Comput. Sci. 13774, 517--540 (2023; Zbl 07726579) Full Text: DOI
Fidanova, Stefka; Ganzha, Maria; Roeva, Olympia Hybrid ant colony optimization algorithms – behaviour investigation based on intuitionistic fuzzy logic. (English) Zbl 1522.90279 Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the workshop on computational optimization, WCO 2021. Cham: Springer. Stud. Comput. Intell. 1044, 39-60 (2022). MSC: 90C70 90C27 90C59 PDFBibTeX XMLCite \textit{S. Fidanova} et al., Stud. Comput. Intell. 1044, 39--60 (2022; Zbl 1522.90279) Full Text: DOI
Hüwel, Jan David; Haselbeck, Florian; Grimm, Dominik G.; Beecks, Christian Dynamically self-adjusting Gaussian processes for data stream modelling. (English) Zbl 1522.68460 Bergmann, Ralph (ed.) et al., KI 2022: advances in artificial intelligence. 45th German conference on AI, Trier, Germany, September 19–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13404, 96-114 (2022). MSC: 68T05 60G15 62M10 68W27 PDFBibTeX XMLCite \textit{J. D. Hüwel} et al., Lect. Notes Comput. Sci. 13404, 96--114 (2022; Zbl 1522.68460) Full Text: DOI
Das, Anupam; Marin, Sonia Modal logic and the polynomial hierarchy: from QBFs to K and back. (English) Zbl 07668104 Fernández-Duque, David (ed.) et al., Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22–25, 2022. London: College Publications. 329-348 (2022). MSC: 03B45 68Q25 PDFBibTeX XMLCite \textit{A. Das} and \textit{S. Marin}, in: Advances in modal logic. Vol. 14. Proceedings of the 14th conference (AiML 2022), Rennes, France, August 22--25, 2022. London: College Publications. 329--348 (2022; Zbl 07668104)
Gittis, Andreas; Vin, Eric; Fremont, Daniel J. Randomized synthesis for diversity and cost constraints with control improvisation. (English) Zbl 1514.68134 Shoham, Sharon (ed.) et al., Computer aided verification. 34th international conference, CAV 2022, Haifa, Israel, August 7–10, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13372, 526-546 (2022). MSC: 68Q60 68Q45 68T20 68W20 68T40 PDFBibTeX XMLCite \textit{A. Gittis} et al., Lect. Notes Comput. Sci. 13372, 526--546 (2022; Zbl 1514.68134) Full Text: DOI arXiv
Suijlen, Wijnand; de Framond, Félix; Lallouet, Arnaud; Petitet, Antoine A parallel algorithm for GAC filtering of the Alldifferent constraint. (English) Zbl 1502.68281 Schaus, Pierre (ed.), Integration of constraint programming, artificial intelligence, and operations research. 19th international conference, CPAIOR 2022, Los Angeles, CA, USA, June 20–23, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13292, 390-407 (2022). MSC: 68T20 68W10 90C35 90C59 PDFBibTeX XMLCite \textit{W. Suijlen} et al., Lect. Notes Comput. Sci. 13292, 390--407 (2022; Zbl 1502.68281) Full Text: DOI
Mayerhofer, Jonas; Kirchweger, Markus; Huber, Marc; Raidl, Günther A beam search for the shortest common supersequence problem guided by an approximate expected length calculation. (English) Zbl 1499.68426 Pérez Cáceres, Leslie (ed.) et al., Evolutionary computation in combinatorial optimization. 22nd European conference, EvoCOP 2022, held as part of EvoStar 2022, Madrid, Spain, April 20–22, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13222, 127-142 (2022). MSC: 68W32 68T20 PDFBibTeX XMLCite \textit{J. Mayerhofer} et al., Lect. Notes Comput. Sci. 13222, 127--142 (2022; Zbl 1499.68426) Full Text: DOI
Clementi, Andrea; d’Amore, Francesco; Giakkoupis, George; Natale, Emanuele Search via parallel Lévy walks on \(\mathbb{Z}^2\). (English) Zbl 07824185 Korhonen, Janne H. (ed.), Proceedings of the 40th ACM symposium on principles of distributed computing, PODC ’21, virtual event, Italy, July 26–30, 2021. New York, NY: Association for Computing Machinery (ACM). 81-91 (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{A. Clementi} et al., in: Proceedings of the 40th ACM symposium on principles of distributed computing, PODC '21, virtual event, Italy, July 26--30, 2021. New York, NY: Association for Computing Machinery (ACM). 81--91 (2021; Zbl 07824185) Full Text: DOI arXiv
Geiger, Martin Josef PACE solver description: a simplified threshold accepting approach for the cluster editing problem. (English) Zbl 07803612 Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 34, 2 p. (2021). MSC: 68Q25 68Q27 68Wxx PDFBibTeX XMLCite \textit{M. J. Geiger}, LIPIcs -- Leibniz Int. Proc. Inform. 214, Article 34, 2 p. (2021; Zbl 07803612) Full Text: DOI
Bartier, Valentin; Bathie, Gabriel; Bousquet, Nicolas; Heinrich, Marc; Pierron, Théo; Prieto, Ulysse PACE solver description: \( \mu\) solver – heuristic track. (English) Zbl 07803611 Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 33, 3 p. (2021). MSC: 68Q25 68Q27 68Wxx PDFBibTeX XMLCite \textit{V. Bartier} et al., LIPIcs -- Leibniz Int. Proc. Inform. 214, Article 33, 3 p. (2021; Zbl 07803611) Full Text: DOI
Bläsius, Thomas; Fischbeck, Philipp; Gottesbüren, Lars; Hamann, Michael; Heuer, Tobias; Spinner, Jonas; Weyand, Christopher; Wilhelm, Marcus PACE solver description: KaPoCE: a heuristic cluster editing algorithm. (English) Zbl 07803609 Golovach, Petr A. (ed.) et al., 16th international symposium on parameterized and exact computation, IPEC 2021, Lisbon, Portugal, September 8–10, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 214, Article 31, 4 p. (2021). MSC: 68Q25 68Q27 68Wxx PDFBibTeX XMLCite \textit{T. Bläsius} et al., LIPIcs -- Leibniz Int. Proc. Inform. 214, Article 31, 4 p. (2021; Zbl 07803609) Full Text: DOI
Czyzowicz, Jurek; Killick, Ryan; Kranakis, Evangelos; Krizanc, Danny; Narayanan, Lata; Opatrny, Jaroslav; Pankratov, Denis; Shende, Sunil Group evacuation on a line by agents with different communication abilities. (English) Zbl 07788630 Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 57, 24 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{J. Czyzowicz} et al., LIPIcs -- Leibniz Int. Proc. Inform. 212, Article 57, 24 p. (2021; Zbl 07788630) Full Text: DOI arXiv
Banik, Aritra; Raman, Rajiv; Ray, Saurabh On geometric priority set cover problems. (English) Zbl 07788585 Ahn, Hee-Kap (ed.) et al., 32nd international symposium on algorithms and computation, ISAAC 2021, Fukuoka, Japan, December 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 212, Article 12, 14 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{A. Banik} et al., LIPIcs -- Leibniz Int. Proc. Inform. 212, Article 12, 14 p. (2021; Zbl 07788585) Full Text: DOI
Chatterjee, Bapi; Peri, Sathya; Sa, Muktikanta Brief announcement: non-blocking dynamic unbounded graphs with worst-case amortized bounds. (English) Zbl 07774303 Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021). MSC: 68M14 68W15 PDFBibTeX XMLCite \textit{B. Chatterjee} et al., LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 52, 4 p. (2021; Zbl 07774303) Full Text: DOI
Rajgopal, Ninad; Santhanam, Rahul On the structure of learnability beyond P/poly. (English) Zbl 07768391 Wootters, Mary (ed.) et al., Approximation, randomization, and combinatorial optimization. Algorithms and techniques. 24th international conference, APPROX 2021, and 25th international conference, RANDOM 2021, University of Washington, Seattle, Washington, US (virtual conference), August 16–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 207, Article 46, 23 p. (2021). MSC: 68W20 68W25 90C27 PDFBibTeX XMLCite \textit{N. Rajgopal} and \textit{R. Santhanam}, LIPIcs -- Leibniz Int. Proc. Inform. 207, Article 46, 23 p. (2021; Zbl 07768391) Full Text: DOI
Wörz, Florian; Lorenz, Jan-Hendrik Evidence for long-tails in SLS algorithms. (English) Zbl 07740937 Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 82, 16 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{F. Wörz} and \textit{J.-H. Lorenz}, LIPIcs -- Leibniz Int. Proc. Inform. 204, Article 82, 16 p. (2021; Zbl 07740937) Full Text: DOI arXiv
Munro, J. Ian; Nicholson, Patrick K.; Benkner, Louisa Seelbach; Wild, Sebastian Hypersuccinct trees – new universal tree source codes for optimal compressed tree data structures and range minima. (English) Zbl 07740925 Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 70, 18 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{J. I. Munro} et al., LIPIcs -- Leibniz Int. Proc. Inform. 204, Article 70, 18 p. (2021; Zbl 07740925) Full Text: DOI arXiv
Loukides, Grigorios; Pissis, Solon P. Bidirectional string anchors: a new string sampling mechanism. (English) Zbl 07740919 Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 64, 21 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{G. Loukides} and \textit{S. P. Pissis}, LIPIcs -- Leibniz Int. Proc. Inform. 204, Article 64, 21 p. (2021; Zbl 07740919) Full Text: DOI
Ganardi, Moses Compression by contracting straight-line programs. (English) Zbl 07740900 Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 45, 16 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{M. Ganardi}, LIPIcs -- Leibniz Int. Proc. Inform. 204, Article 45, 16 p. (2021; Zbl 07740900) Full Text: DOI arXiv
Ahmadi, Saman; Tack, Guido; Harabor, Daniel; Kilby, Philip Bi-objective search with bi-directional \(A^*\). (English) Zbl 07740858 Mutzel, Petra (ed.) et al., 29th annual European symposium on algorithms. ESA 2021, Lisbon, Portugal (virtual conference), September 6–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 204, Article 3, 15 p. (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{S. Ahmadi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 204, Article 3, 15 p. (2021; Zbl 07740858) Full Text: DOI arXiv
Allender, Eric; Chauhan, Archit; Datta, Samir Depth-first search in directed planar graphs, revisited. (English) Zbl 07724180 Bonchi, Filippo (ed.) et al., 46th international symposium on mathematical foundations of computer science, MFCS 2021, August 23–27, 2021, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 202, Article 7, 22 p. (2021). MSC: 68Qxx PDFBibTeX XMLCite \textit{E. Allender} et al., LIPIcs -- Leibniz Int. Proc. Inform. 202, Article 7, 22 p. (2021; Zbl 07724180) Full Text: DOI
Grochow, Joshua A.; Qiao, Youming On \(p\)-group isomorphism: search-to-decision, counting-to-decision, and nilpotency class reductions via tensors. (English) Zbl 07711598 Kabanets, Valentine (ed.), 36th computational complexity conference, CCC 2021, Toronto, Ontario, Canada, virtual conference, July 20–23, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 200, Article 16, 38 p. (2021). MSC: 68Q25 PDFBibTeX XMLCite \textit{J. A. Grochow} and \textit{Y. Qiao}, LIPIcs -- Leibniz Int. Proc. Inform. 200, Article 16, 38 p. (2021; Zbl 07711598) Full Text: DOI
Hamm, Thekla; Lackner, Martin; Rapberger, Anna Computing kemeny rankings from \(d\)-Euclidean preferences. (English) Zbl 07670904 Fotakis, Dimitris (ed.) et al., Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13023, 147-161 (2021). MSC: 68T20 91B06 91B14 91B32 91B68 PDFBibTeX XMLCite \textit{T. Hamm} et al., Lect. Notes Comput. Sci. 13023, 147--161 (2021; Zbl 07670904) Full Text: DOI
Becker, Ruben; D’Angelo, Gianlorenzo; Delfaraz, Esmaeil; Gilbert, Hugo Unveiling the truth in liquid democracy with misinformed voters. (English) Zbl 07670903 Fotakis, Dimitris (ed.) et al., Algorithmic decision theory. 7th international conference, ADT 2021, Toulouse, France, November 3–5, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13023, 132-146 (2021). MSC: 68T20 91B06 91B14 91B32 91B68 PDFBibTeX XMLCite \textit{R. Becker} et al., Lect. Notes Comput. Sci. 13023, 132--146 (2021; Zbl 07670903) Full Text: DOI
Komusiewicz, Christian; Morawietz, Nils Can local optimality be used for efficient data reduction? (English) Zbl 07667142 Calamoneri, Tiziana (ed.) et al., Algorithms and complexity. 12th international conference, CIAC 2021, virtual event, May 10–12, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12701, 354-366 (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{C. Komusiewicz} and \textit{N. Morawietz}, Lect. Notes Comput. Sci. 12701, 354--366 (2021; Zbl 07667142) Full Text: DOI
Rapoport, Michael; Tamir, Tami A game theoretical approach for VLSI physical design placement. (English) Zbl 1497.90230 Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the 12th international workshop on computational optimization (WCO), Leipzig, Germany, September 1–4, 2019. Cham: Springer. Stud. Comput. Intell. 920, 149-172 (2021). MSC: 90C90 68W35 90C27 91A80 PDFBibTeX XMLCite \textit{M. Rapoport} and \textit{T. Tamir}, Stud. Comput. Intell. 920, 149--172 (2021; Zbl 1497.90230) Full Text: DOI
Gong, Qinqin; Gao, Suixiang; Wang, Fengmin; Yang, Ruiqi A multi-pass streaming algorithm for regularized submodular maximization. (English) Zbl 07550563 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 701-711 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{Q. Gong} et al., Lect. Notes Comput. Sci. 13135, 701--711 (2021; Zbl 07550563) Full Text: DOI
Lichen, Junran; Cai, Lijian; Li, Jianping; Liu, Suding; Pan, Pengxiang; Wang, Wencheng Delay-constrained minimum shortest path trees and related problems. (English) Zbl 07550561 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 676-686 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{J. Lichen} et al., Lect. Notes Comput. Sci. 13135, 676--686 (2021; Zbl 07550561) Full Text: DOI
Lichen, Junran Cycle-connected mixed graphs and related problems. (English) Zbl 07550555 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 602-614 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{J. Lichen}, Lect. Notes Comput. Sci. 13135, 602--614 (2021; Zbl 07550555) Full Text: DOI
Keikha, Vahideh; Keikha, Hamidreza; Mohades, Ali On the \(k\)-colored rainbow sets in fixed dimensions. (English) Zbl 07550554 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 587-601 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{V. Keikha} et al., Lect. Notes Comput. Sci. 13135, 587--601 (2021; Zbl 07550554) Full Text: DOI
Xiao, Di; Guo, Longkun; Liao, Kewen; Yao, Pei Streaming submodular maximization under differential privacy noise. (English) Zbl 07550542 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 431-444 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{D. Xiao} et al., Lect. Notes Comput. Sci. 13135, 431--444 (2021; Zbl 07550542) Full Text: DOI
Henning, Michael A.; Pandey, Arti; Tripathi, Vikash Approximation algorithm and hardness results for defensive domination in graphs. (English) Zbl 07550529 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 247-261 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{M. A. Henning} et al., Lect. Notes Comput. Sci. 13135, 247--261 (2021; Zbl 07550529) Full Text: DOI
Inkulu, R.; Kumar, Pawan Routing among convex polygonal obstacles in the plane. (English) Zbl 07550509 Du, Ding-Zhu (ed.) et al., Combinatorial optimization and applications. 15th international conference, COCOA 2021, Tianjin, China, December 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13135, 1-11 (2021). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{R. Inkulu} and \textit{P. Kumar}, Lect. Notes Comput. Sci. 13135, 1--11 (2021; Zbl 07550509) Full Text: DOI
Rowe, Bryan; Gupta, Rajiv G-Morph: induced subgraph isomorphism search of labeled graphs on a GPU. (English) Zbl 1512.68249 Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 402-417 (2021). MSC: 68R10 05C60 68W10 PDFBibTeX XMLCite \textit{B. Rowe} and \textit{R. Gupta}, Lect. Notes Comput. Sci. 12820, 402--417 (2021; Zbl 1512.68249) Full Text: DOI
Friggstad, Zachary; Mahboub, Maryam Graph pricing with limited supply. (English) Zbl 07498692 Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 399-413 (2021). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{Z. Friggstad} and \textit{M. Mahboub}, Lect. Notes Comput. Sci. 12808, 399--413 (2021; Zbl 07498692) Full Text: DOI arXiv
Antoniadis, Antonios; Capretto, Margarita; Chalermsook, Parinya; Damerius, Christoph; Kling, Peter; Nölke, Lukas; Acosta, Nidia Obscura; Spoerhase, Joachim On minimum generalized Manhattan connections. (English) Zbl 07498670 Lubiw, Anna (ed.) et al., Algorithms and data structures. 17th international symposium, WADS 2021, virtual event, August 9–11, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12808, 85-100 (2021). MSC: 68P05 68Wxx PDFBibTeX XMLCite \textit{A. Antoniadis} et al., Lect. Notes Comput. Sci. 12808, 85--100 (2021; Zbl 07498670) Full Text: DOI arXiv
Berzish, Murphy; Kulczynski, Mitja; Mora, Federico; Manea, Florin; Day, Joel D.; Nowotka, Dirk; Ganesh, Vijay An SMT solver for regular expressions and linear arithmetic over string length. (English) Zbl 1493.68182 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12760, 289-312 (2021). MSC: 68Q45 68T20 68V20 68W32 PDFBibTeX XMLCite \textit{M. Berzish} et al., Lect. Notes Comput. Sci. 12760, 289--312 (2021; Zbl 1493.68182) Full Text: DOI arXiv
Jawhar, Khaled; Kranakis, Evangelos Bike assisted evacuation on a line. (English) Zbl 1490.68047 Bureš, Tomáš (ed.) et al., SOFSEM 2021: theory and practice of computer science. 47th international conference on current trends in theory and practice of computer science, SOFSEM 2021, Bolzano-Bozen, Italy, January 25–29, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12607, 104-118 (2021). MSC: 68M14 68T40 68W15 PDFBibTeX XMLCite \textit{K. Jawhar} and \textit{E. Kranakis}, Lect. Notes Comput. Sci. 12607, 104--118 (2021; Zbl 1490.68047) Full Text: DOI
Das, Archak; Bose, Kaustav; Sau, Buddhadeb Memory optimal dispersion by anonymous mobile robots. (English) Zbl 07497550 Mudgal, Apurva (ed.) et al., Algorithms and discrete applied mathematics. 7th international conference, CALDAM 2021, Rupnagar, India, February 11–13, 2021. Proceedings. Lect. Notes Comput. Sci. 12601, 426-439 (2021). MSC: 68Wxx PDFBibTeX XMLCite \textit{A. Das} et al., Lect. Notes Comput. Sci. 12601, 426--439 (2021; Zbl 07497550) Full Text: DOI arXiv
Trimoska, Monika; Dequen, Gilles; Ionica, Sorina Logical cryptanalysis with WDSat. (English) Zbl 07495597 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 545-561 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. Trimoska} et al., Lect. Notes Comput. Sci. 12831, 545--561 (2021; Zbl 07495597) Full Text: DOI
Síč, Juraj; Strejček, Jan DQBDD: an efficient BDD-based DQBF solver. (English) Zbl 07495596 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 535-544 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{J. Síč} and \textit{J. Strejček}, Lect. Notes Comput. Sci. 12831, 535--544 (2021; Zbl 07495596) Full Text: DOI
Schreiber, Dominik; Sanders, Peter Scalable SAT solving in the cloud. (English) Zbl 07495595 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 518-534 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{D. Schreiber} and \textit{P. Sanders}, Lect. Notes Comput. Sci. 12831, 518--534 (2021; Zbl 07495595) Full Text: DOI
Reichl, Franz-Xaver; Slivovsky, Friedrich; Szeider, Stefan Certified DQBF solving by definition extraction. (English) Zbl 07495594 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 499-517 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{F.-X. Reichl} et al., Lect. Notes Comput. Sci. 12831, 499--517 (2021; Zbl 07495594) Full Text: DOI arXiv
Py, Matthieu; Cherif, Mohamed Sami; Habet, Djamal A proof builder for Max-SAT. (English) Zbl 07495593 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 488-498 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. Py} et al., Lect. Notes Comput. Sci. 12831, 488--498 (2021; Zbl 07495593) Full Text: DOI HAL
Prevot, Nicolas; Soos, Mate; Meel, Kuldeep S. Leveraging GPUs for effective clause sharing in parallel SAT solving. (English) Zbl 07495592 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 471-487 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{N. Prevot} et al., Lect. Notes Comput. Sci. 12831, 471--487 (2021; Zbl 07495592) Full Text: DOI
Pimpalkhare, Nikhil; Mora, Federico; Polgreen, Elizabeth; Seshia, Sanjit A. MedleySolver: online SMT algorithm selection. (English) Zbl 07495591 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 453-470 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{N. Pimpalkhare} et al., Lect. Notes Comput. Sci. 12831, 453--470 (2021; Zbl 07495591) Full Text: DOI Link
Peng, Junqiang; Xiao, Mingyu A fast algorithm for SAT in terms of formula length. (English) Zbl 07495590 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 436-452 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{J. Peng} and \textit{M. Xiao}, Lect. Notes Comput. Sci. 12831, 436--452 (2021; Zbl 07495590) Full Text: DOI arXiv
Nawrocki, Wojciech; Liu, Zhenjun; Fröhlich, Andreas; Heule, Marijn J. H.; Biere, Armin XOR local search for Boolean Brent equations. (English) Zbl 07495589 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 417-435 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{W. Nawrocki} et al., Lect. Notes Comput. Sci. 12831, 417--435 (2021; Zbl 07495589) Full Text: DOI
Mengel, Stefan; Slivovsky, Friedrich Proof complexity of symbolic QBF reasoning. (English) Zbl 07495588 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 399-416 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{S. Mengel} and \textit{F. Slivovsky}, Lect. Notes Comput. Sci. 12831, 399--416 (2021; Zbl 07495588) Full Text: DOI arXiv
Manthey, Norbert The MergeSat solver. (English) Zbl 07495587 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 387-398 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{N. Manthey}, Lect. Notes Comput. Sci. 12831, 387--398 (2021; Zbl 07495587) Full Text: DOI
Mann, Makai; Wilson, Amalee; Zohar, Yoni; Stuntz, Lindsey; Irfan, Ahmed; Brown, Kristopher; Donovick, Caleb; Guman, Allison; Tinelli, Cesare; Barrett, Clark Smt-Switch: a solver-agnostic C++ API for SMT solving. (English) Zbl 07495586 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 377-386 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. Mann} et al., Lect. Notes Comput. Sci. 12831, 377--386 (2021; Zbl 07495586) Full Text: DOI arXiv
Li, Chunxiao; Chung, Jonathan; Mukherjee, Soham; Vinyals, Marc; Fleming, Noah; Kolokolova, Antonina; Mu, Alice; Ganesh, Vijay On the hierarchical community structure of practical Boolean formulas. (English) Zbl 07495585 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 359-376 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{C. Li} et al., Lect. Notes Comput. Sci. 12831, 359--376 (2021; Zbl 07495585) Full Text: DOI arXiv
Lester, Martin Mariusz Scheduling reach mahjong tournaments using pseudoboolean constraints. (English) Zbl 07495584 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 349-358 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. M. Lester}, Lect. Notes Comput. Sci. 12831, 349--358 (2021; Zbl 07495584) Full Text: DOI
Lei, Zhendong; Cai, Shaowei; Luo, Chuan; Hoos, Holger Efficient local search for pseudo Boolean optimization. (English) Zbl 07495583 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 332-348 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{Z. Lei} et al., Lect. Notes Comput. Sci. 12831, 332--348 (2021; Zbl 07495583) Full Text: DOI
Le Berre, Daniel; Wallon, Romain On dedicated CDCL strategies for PB solvers. (English) Zbl 07495582 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 315-331 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{D. Le Berre} and \textit{R. Wallon}, Lect. Notes Comput. Sci. 12831, 315--331 (2021; Zbl 07495582) Full Text: DOI arXiv
Kullmann, Oliver; Zaikin, Oleg Projection heuristics for binary branchings between sum and product. (English) Zbl 07495581 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 299-314 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{O. Kullmann} and \textit{O. Zaikin}, Lect. Notes Comput. Sci. 12831, 299--314 (2021; Zbl 07495581) Full Text: DOI Backlinks: MO
Kochemazov, Stepan; Ignatiev, Alexey; Marques-Silva, Joao Assessing progress in SAT solvers through the Lens of incremental SAT. (English) Zbl 07495580 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 280-298 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{S. Kochemazov} et al., Lect. Notes Comput. Sci. 12831, 280--298 (2021; Zbl 07495580) Full Text: DOI
Jin, Jiwei; Lv, Yiqi; Ge, Cunjing; Ma, Feifei; Zhang, Jian Investigating the existence of Costas Latin squares via satisfiability testing. (English) Zbl 07495579 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 270-279 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{J. Jin} et al., Lect. Notes Comput. Sci. 12831, 270--279 (2021; Zbl 07495579) Full Text: DOI
Ignatiev, Alexey; Marques-Silva, Joao SAT-based rigorous explanations for decision lists. (English) Zbl 07495578 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 251-269 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{A. Ignatiev} and \textit{J. Marques-Silva}, Lect. Notes Comput. Sci. 12831, 251--269 (2021; Zbl 07495578) Full Text: DOI arXiv
Hundeshagen, Norbert; Lange, Martin; Siebert, Georg DiMo – discrete modelling using propositional logic. (English) Zbl 07495577 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 242-250 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{N. Hundeshagen} et al., Lect. Notes Comput. Sci. 12831, 242--250 (2021; Zbl 07495577) Full Text: DOI
Huang, Pei; Li, Rundong; Liu, Minghao; Ma, Feifei; Zhang, Jian Efficient SAT-based minimal model generation methods for modal logic S5. (English) Zbl 07495576 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 225-241 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{P. Huang} et al., Lect. Notes Comput. Sci. 12831, 225--241 (2021; Zbl 07495576) Full Text: DOI
Heule, Marijn J. H. Chinese remainder encoding for Hamiltonian cycles. (English) Zbl 07495575 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 216-224 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. J. H. Heule}, Lect. Notes Comput. Sci. 12831, 216--224 (2021; Zbl 07495575) Full Text: DOI
Hermann, Miki; Salzer, Gernot MCP: capturing big data by satisfiability (tool description). (English) Zbl 07495574 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 207-215 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. Hermann} and \textit{G. Salzer}, Lect. Notes Comput. Sci. 12831, 207--215 (2021; Zbl 07495574) Full Text: DOI HAL
Friedrich, Tobias; Neumann, Frank; Rothenberger, Ralf; Sutton, Andrew M. Solving non-uniform planted and filtered random SAT formulas greedily. (English) Zbl 07495573 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 188-206 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{T. Friedrich} et al., Lect. Notes Comput. Sci. 12831, 188--206 (2021; Zbl 07495573) Full Text: DOI
Fleury, Mathias; Biere, Armin Efficient all-UIP learned clause minimization. (English) Zbl 07495572 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 171-187 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{M. Fleury} and \textit{A. Biere}, Lect. Notes Comput. Sci. 12831, 171--187 (2021; Zbl 07495572) Full Text: DOI Link
Dudek, Jeffrey M.; Phan, Vu H. N.; Vardi, Moshe Y. ProCount: weighted projected model counting with graded project-join trees. (English) Zbl 07495571 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 152-170 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{J. M. Dudek} et al., Lect. Notes Comput. Sci. 12831, 152--170 (2021; Zbl 07495571) Full Text: DOI
Dilkas, Paulius; Belle, Vaishak Weighted model counting without parameter variables. (English) Zbl 07495570 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 134-151 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{P. Dilkas} and \textit{V. Belle}, Lect. Notes Comput. Sci. 12831, 134--151 (2021; Zbl 07495570) Full Text: DOI Link
de Colnet, Alexis; Mengel, Stefan Characterizing Tseitin-formulas with short regular resolution refutations. (English) Zbl 07495569 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 116-133 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{A. de Colnet} and \textit{S. Mengel}, Lect. Notes Comput. Sci. 12831, 116--133 (2021; Zbl 07495569) Full Text: DOI arXiv
Chew, Leroy Hardness and optimality in QBF proof systems modulo NP. (English) Zbl 07495568 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 98-115 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{L. Chew}, Lect. Notes Comput. Sci. 12831, 98--115 (2021; Zbl 07495568) Full Text: DOI
Cao, Henrik Hash-based preprocessing and inprocessing techniques in SAT solvers. (English) Zbl 07495567 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 82-97 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{H. Cao}, Lect. Notes Comput. Sci. 12831, 82--97 (2021; Zbl 07495567) Full Text: DOI
Cai, Shaowei; Zhang, Xindi Deep cooperation of CDCL and local search for SAT. (English) Zbl 07495566 Li, Chu-Min (ed.) et al., Theory and applications of satisfiability testing – SAT 2021. 24th international conference, Barcelona, Spain, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12831, 64-81 (2021). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{S. Cai} and \textit{X. Zhang}, Lect. Notes Comput. Sci. 12831, 64--81 (2021; Zbl 07495566) Full Text: DOI