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
Montalbano, Pierre; Allouche, David; de Givry, Simon; Katsirelos, George; Werner, Tomáš Virtual pairwise consistency in cost function networks. (English) Zbl 07745675 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, 417-426 (2023). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{P. Montalbano} et al., Lect. Notes Comput. Sci. 13884, 417--426 (2023; Zbl 07745675) Full Text: DOI
Effendy, Suhendry; Yap, Roland H. C. Real-time passenger bus routing problems with preferences and tradeoffs. (English) Zbl 07709593 Ann. Math. Artif. Intell. 91, No. 2-3, 287-307 (2023). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{S. Effendy} and \textit{R. H. C. Yap}, Ann. Math. Artif. Intell. 91, No. 2--3, 287--307 (2023; Zbl 07709593) Full Text: DOI
Berend, Daniel; Golan, Shahar; Twitto, Yochai CHAMP: a multipass algorithm for Max Sat based on saver variables. (English) Zbl 1506.68119 Discrete Optim. 47, Article ID 100760, 17 p. (2023). MSC: 68T20 90C27 PDFBibTeX XMLCite \textit{D. Berend} et al., Discrete Optim. 47, Article ID 100760, 17 p. (2023; Zbl 1506.68119) Full Text: DOI
Liu, Paul; Spalding-Jamieson, Jack; Zhang, Brandon; Zheng, Da Wei Coordinated motion planning through randomized \(k\)-opt. (English) Zbl 1521.68226 ACM J. Exp. Algorithm. 27, Paper No. 3.4, 9 p. (2022). MSC: 68T40 68T20 68U05 PDFBibTeX XMLCite \textit{P. Liu} et al., ACM J. Exp. Algorithm. 27, Paper No. 3.4, 9 p. (2022; Zbl 1521.68226) Full Text: DOI arXiv
Cai, Shaowei; Li, Bohan; Zhang, Xindi Local search for SMT on linear integer arithmetic. (English) Zbl 1514.68273 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, 227-248 (2022). MSC: 68T20 PDFBibTeX XMLCite \textit{S. Cai} et al., Lect. Notes Comput. Sci. 13372, 227--248 (2022; Zbl 1514.68273) Full Text: DOI
Busé, Laurent; Chardin, Marc; Nemati, Navid Multigraded Sylvester forms, duality and elimination matrices. (English) Zbl 1502.13069 J. Algebra 609, 514-546 (2022). Reviewer: Gema Maria Diaz Toca (Murcia) MSC: 13P15 13A02 13A30 13D45 PDFBibTeX XMLCite \textit{L. Busé} et al., J. Algebra 609, 514--546 (2022; Zbl 1502.13069) Full Text: DOI arXiv
Grelier, Cyril; Goudet, Olivier; Hao, Jin-Kao On Monte Carlo tree search for weighted vertex coloring. (English) Zbl 1499.68273 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, 1-16 (2022). MSC: 68R10 05C15 68T20 90C35 90C59 PDFBibTeX XMLCite \textit{C. Grelier} et al., Lect. Notes Comput. Sci. 13222, 1--16 (2022; Zbl 1499.68273) Full Text: DOI arXiv
Mello, Jorge On semigroup orbits of polynomials in multiplicative subgroups. (English) Zbl 1489.37117 Monatsh. Math. 197, No. 1, 177-191 (2022). MSC: 37P05 37P25 11G25 11G35 13P15 PDFBibTeX XMLCite \textit{J. Mello}, Monatsh. Math. 197, No. 1, 177--191 (2022; Zbl 1489.37117) Full Text: DOI
Tarkhaneh, Omid; Nguyen, Thanh Thi; Mazaheri, Samaneh A novel wrapper-based feature subset selection method using modified binary differential evolution algorithm. (English) Zbl 1527.68194 Inf. Sci. 565, 278-305 (2021). MSC: 68T05 62H30 68T20 68W50 PDFBibTeX XMLCite \textit{O. Tarkhaneh} et al., Inf. Sci. 565, 278--305 (2021; Zbl 1527.68194) 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
Benabbou, Nawal; Leroy, Cassandre; Lust, Thibaut; Perny, Patrice Interactive optimization of submodular functions under matroid constraints. (English) Zbl 07670914 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, 307-322 (2021). MSC: 68T20 91B06 91B14 91B32 91B68 PDFBibTeX XMLCite \textit{N. Benabbou} et al., Lect. Notes Comput. Sci. 13023, 307--322 (2021; Zbl 07670914) Full Text: DOI
Boĭkov, Il’ya Vladimirovich; Rudnev, Vladimir Aleksandrovich; Boĭkova, Alla Il’inichna; Stepanov, Nikita Sergeevich Continuous operator method application for direct and inverse scattering problems. (English) Zbl 1524.65475 Zh. Sredn. Mat. Obshch. 23, No. 3, 247-272 (2021). MSC: 65M32 65M12 65N12 65N21 35A01 35A02 35J05 35B65 65R20 65D32 65M06 35Q60 35R09 65M70 65N35 78A45 78A46 45C05 35R20 PDFBibTeX XMLCite \textit{I. V. Boĭkov} et al., Zh. Sredn. Mat. Obshch. 23, No. 3, 247--272 (2021; Zbl 1524.65475) Full Text: DOI MNR
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
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
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
Feng, Shuo; Liu, Kun Adaptive artificial bee colony algorithm based on differential evolution. (Chinese. English summary) Zbl 1488.68042 J. Zhengzhou Univ., Nat. Sci. Ed. 53, No. 3, 72-78 (2021). MSC: 68T05 68T20 68W50 PDFBibTeX XMLCite \textit{S. Feng} and \textit{K. Liu}, J. Zhengzhou Univ., Nat. Sci. Ed. 53, No. 3, 72--78 (2021; Zbl 1488.68042) Full Text: DOI
Sioutis, Michael; Wolter, Diedrich Dynamic branching in qualitative constraint-based reasoning via counting local models. (English) Zbl 1518.68352 Inf. Comput. 281, Article ID 104787, 15 p. (2021). MSC: 68T20 68T27 68T30 PDFBibTeX XMLCite \textit{M. Sioutis} and \textit{D. Wolter}, Inf. Comput. 281, Article ID 104787, 15 p. (2021; Zbl 1518.68352) Full Text: DOI
Rajabi, Amirhossein; Witt, Carsten Stagnation detection with randomized local search. (English) Zbl 1474.68477 Zarges, Christine (ed.) et al., Evolutionary computation in combinatorial optimization. 21st European conference, EvoCOP 2021, held as part of EvoStar 2021, virtual event, April 7–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12692, 152-168 (2021). MSC: 68W50 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{A. Rajabi} and \textit{C. Witt}, Lect. Notes Comput. Sci. 12692, 152--168 (2021; Zbl 1474.68477) Full Text: DOI arXiv Backlinks: MO
Liu, Kun; Feng, Shuo An improved artificial bee colony algorithm for enhancing local search ability. (Chinese. English summary) Zbl 1488.68076 J. Henan Norm. Univ., Nat. Sci. 49, No. 2, 15-24 (2021). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{K. Liu} and \textit{S. Feng}, J. Henan Norm. Univ., Nat. Sci. 49, No. 2, 15--24 (2021; Zbl 1488.68076)
Orthey, Andreas; Toussaint, Marc Visualizing local minima in multi-robot motion planning using multilevel Morse theory. (English) Zbl 1469.68131 Lavalle, Steven M. (ed.) et al., Algorithmic foundations of robotics XIV. Proceedings of the fourteenth workshop on the algorithmic foundations of robotics. Cham: Springer. Springer Proc. Adv. Robot. 17, 502-517 (2021). MSC: 68T40 57Q70 57R22 68T20 PDFBibTeX XMLCite \textit{A. Orthey} and \textit{M. Toussaint}, Springer Proc. Adv. Robot. 17, 502--517 (2021; Zbl 1469.68131) Full Text: DOI arXiv
Berend, Daniel; Twitto, Yochai Probabilistic characterization of random Max \(r\)-Sat. (English) Zbl 1506.68120 Discrete Optim. 40, Article ID 100630, 16 p. (2021). MSC: 68T20 68Q25 90C27 PDFBibTeX XMLCite \textit{D. Berend} and \textit{Y. Twitto}, Discrete Optim. 40, Article ID 100630, 16 p. (2021; Zbl 1506.68120) Full Text: DOI
Shi, Feng; Neumann, Frank; Wang, Jianxin Runtime performances of randomized search heuristics for the dynamic weighted vertex cover problem. (English) Zbl 1512.68476 Algorithmica 83, No. 4, 906-939 (2021). MSC: 68W40 68R10 68T20 68W20 68W50 PDFBibTeX XMLCite \textit{F. Shi} et al., Algorithmica 83, No. 4, 906--939 (2021; Zbl 1512.68476) Full Text: DOI arXiv
Zhang, Dongmei; Cheng, Yukun; Li, Min; Wang, Yishui; Xu, Dachuan Approximation algorithms for spherical \(k\)-means problem using local search scheme. (English) Zbl 1477.68540 Theor. Comput. Sci. 853, 65-77 (2021). MSC: 68W25 62H30 68T20 PDFBibTeX XMLCite \textit{D. Zhang} et al., Theor. Comput. Sci. 853, 65--77 (2021; Zbl 1477.68540) Full Text: DOI
Rout, Sudhansu Sekhar Reduction of polynomial dynamical systems modulo primes. arXiv:2102.04077 Preprint, arXiv:2102.04077 [math.NT] (2021). MSC: 37P05 37P25 11G25 13P15 BibTeX Cite \textit{S. S. Rout}, ``Reduction of polynomial dynamical systems modulo primes'', Preprint, arXiv:2102.04077 [math.NT] (2021) Full Text: arXiv OA License
Von Kirchbach, Konrad; Schulz, Christian; Träff, Jesper Larsson Better process mapping and sparse quadratic assignment. (English) Zbl 1521.68023 ACM J. Exp. Algorithm. 25, Paper No. 1.11, 19 p. (2020). MSC: 68M14 68R10 68T20 PDFBibTeX XMLCite \textit{K. Von Kirchbach} et al., ACM J. Exp. Algorithm. 25, Paper No. 1.11, 19 p. (2020; Zbl 1521.68023) Full Text: DOI
Berend, Daniel; Twitto, Yochai Effect of initial assignment on local search performance for Max Sat. (English) Zbl 1515.68286 Faro, Simone (ed.) et al., 18th international symposium on experimental algorithms, SEA 2020, Catania, Italy, June 16–18, 2020. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 160, Article 8, 14 p. (2020). MSC: 68T20 PDFBibTeX XMLCite \textit{D. Berend} and \textit{Y. Twitto}, LIPIcs -- Leibniz Int. Proc. Inform. 160, Article 8, 14 p. (2020; Zbl 1515.68286) Full Text: DOI
Trösser, Fulya; de Givry, Simon; Katsirelos, George Relaxation-aware heuristics for exact optimization in graphical models. (English) Zbl 07636038 Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 475-491 (2020). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{F. Trösser} et al., Lect. Notes Comput. Sci. 12296, 475--491 (2020; Zbl 07636038) Full Text: DOI
Thiessen, Maximilian; Quesada, Luis; Brown, Kenneth N. Improving a branch-and-bound approach for the degree-constrained minimum spanning tree problem with LKH. (English) Zbl 07636036 Hebrard, Emmanuel (ed.) et al., Integration of constraint programming, artificial intelligence, and operations research. 17th international conference, CPAIOR 2020, Vienna, Austria, September 21–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12296, 447-456 (2020). MSC: 68T20 90Bxx 90C27 PDFBibTeX XMLCite \textit{M. Thiessen} et al., Lect. Notes Comput. Sci. 12296, 447--456 (2020; Zbl 07636036) Full Text: DOI
Jarvis, Padraigh; Arbelaez, Alejandro Cooperative parallel SAT local search with path relinking. (English) Zbl 1484.68218 Paquete, Luís (ed.) et al., Evolutionary computation in combinatorial optimization. 20th European conference, EvoCOP 2020, held as part of EvoStar 2020, Seville, Spain, April 15–17, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12102, 83-98 (2020). MSC: 68T20 PDFBibTeX XMLCite \textit{P. Jarvis} and \textit{A. Arbelaez}, Lect. Notes Comput. Sci. 12102, 83--98 (2020; Zbl 1484.68218) Full Text: DOI
Zhou, Qing; Benlic, Una; Wu, Qinghua A memetic algorithm based on reformulation local search for minimum sum-of-squares clustering in networks. (English) Zbl 1475.68363 Inf. Sci. 541, 271-296 (2020). MSC: 68T20 62H30 68R10 PDFBibTeX XMLCite \textit{Q. Zhou} et al., Inf. Sci. 541, 271--296 (2020; Zbl 1475.68363) Full Text: DOI
Li, Sanyi; Wang, Yanfeng; Qiao, Junfei; Huang, Jinhua A regional local search strategy for NSGA II algorithm. (Chinese. English summary) Zbl 1474.68327 Acta Autom. Sin. 46, No. 12, 2617-2627 (2020). MSC: 68T20 68W50 90C29 90C59 PDFBibTeX XMLCite \textit{S. Li} et al., Acta Autom. Sin. 46, No. 12, 2617--2627 (2020; Zbl 1474.68327) Full Text: DOI
Zhang, Yan; Yuan, Shujuan; Da, Liexiong; Zhou, Jun Adaptive opposition-based learning cuckoo algorithm based on local search enhancement strategy. (Chinese. English summary) Zbl 1474.68291 Math. Pract. Theory 50, No. 20, 191-200 (2020). MSC: 68T05 68T20 90C59 PDFBibTeX XMLCite \textit{Y. Zhang} et al., Math. Pract. Theory 50, No. 20, 191--200 (2020; Zbl 1474.68291)
González-Almagro, Germán; Luengo, Julián; Cano, José-Ramón; García, Salvador DILS: constrained clustering through dual iterative local search. (English) Zbl 1458.68202 Comput. Oper. Res. 121, Article ID 104979, 14 p. (2020). MSC: 68T20 60H30 68T05 90C59 PDFBibTeX XMLCite \textit{G. González-Almagro} et al., Comput. Oper. Res. 121, Article ID 104979, 14 p. (2020; Zbl 1458.68202) Full Text: DOI
Lorenz, Jan-Hendrik; Wörz, Florian On the effect of learned clauses on stochastic local search. (English) Zbl 07331014 Pulina, Luca (ed.) et al., Theory and applications of satisfiability testing – SAT 2020. 23rd international conference, Alghero, Italy, July 3–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12178, 89-106 (2020). MSC: 68Q25 68R07 68T20 PDFBibTeX XMLCite \textit{J.-H. Lorenz} and \textit{F. Wörz}, Lect. Notes Comput. Sci. 12178, 89--106 (2020; Zbl 07331014) Full Text: DOI arXiv
Hubáček, Pavel; Yogev, Eylon Hardness of continuous local search: query complexity and cryptographic lower bounds. (English) Zbl 1498.68122 SIAM J. Comput. 49, No. 6, 1128-1172 (2020). MSC: 68Q17 68Q25 68T20 90C59 94A60 PDFBibTeX XMLCite \textit{P. Hubáček} and \textit{E. Yogev}, SIAM J. Comput. 49, No. 6, 1128--1172 (2020; Zbl 1498.68122) Full Text: DOI
Cai, Shaowei; Lei, Zhendong Old techniques in new ways: clause weighting, unit propagation and hybridization for maximum satisfiability. (English) Zbl 1493.68340 Artif. Intell. 287, Article ID 103354, 15 p. (2020). MSC: 68T20 90C27 90C59 PDFBibTeX XMLCite \textit{S. Cai} and \textit{Z. Lei}, Artif. Intell. 287, Article ID 103354, 15 p. (2020; Zbl 1493.68340) Full Text: DOI
Qiao, Wen-Bao; Créput, Jean-Charles Multiple \(k\)-opt evaluation multiple \(k\)-opt moves with GPU high performance local search to large-scale traveling salesman problems. (English) Zbl 1444.68174 Ann. Math. Artif. Intell. 88, No. 4, 347-365 (2020). MSC: 68T20 68W10 90C27 90C59 PDFBibTeX XMLCite \textit{W.-B. Qiao} and \textit{J.-C. Créput}, Ann. Math. Artif. Intell. 88, No. 4, 347--365 (2020; Zbl 1444.68174) Full Text: DOI
Wang, Yiyuan; Cai, Shaowei; Chen, Jiejiang; Yin, Minghao SCCWalk: an efficient local search algorithm and its improvements for maximum weight clique problem. (English) Zbl 1476.68218 Artif. Intell. 280, Article ID 103230, 22 p. (2020). MSC: 68R10 05C69 68T20 PDFBibTeX XMLCite \textit{Y. Wang} et al., Artif. Intell. 280, Article ID 103230, 22 p. (2020; Zbl 1476.68218) Full Text: DOI
Gasull, Armengol; Mañosa, Víctor Periodic orbits of discrete and continuous dynamical systems via Poincaré-Miranda theorem. (English) Zbl 1432.37045 Discrete Contin. Dyn. Syst., Ser. B 25, No. 2, 651-670 (2020). Reviewer: Eszter Gselmann (Debrecen) MSC: 37C25 39A23 13P15 34D23 70F15 37C05 PDFBibTeX XMLCite \textit{A. Gasull} and \textit{V. Mañosa}, Discrete Contin. Dyn. Syst., Ser. B 25, No. 2, 651--670 (2020; Zbl 1432.37045) Full Text: DOI arXiv
Xie, Rong; Gu, Cunfeng A starling swarm coordination algorithm. (Chinese. English summary) Zbl 1449.68093 J. Wuhan Univ., Nat. Sci. Ed. 65, No. 3, 229-237 (2019). MSC: 68T20 PDFBibTeX XMLCite \textit{R. Xie} and \textit{C. Gu}, J. Wuhan Univ., Nat. Sci. Ed. 65, No. 3, 229--237 (2019; Zbl 1449.68093) Full Text: DOI
Deng, Xiaodong; Du, Chengbin; Jin, Licheng; Wang, Xiang Recognition of structural defects with improved artificial bee colony algorithm. (Chinese. English summary) Zbl 1449.68089 J. Hefei Univ. Technol., Nat. Sci. 42, No. 6, 856-864 (2019). MSC: 68T20 68W50 90C59 PDFBibTeX XMLCite \textit{X. Deng} et al., J. Hefei Univ. Technol., Nat. Sci. 42, No. 6, 856--864 (2019; Zbl 1449.68089) Full Text: DOI
Zhai, Junchang; Qin, Yuping Opposition-based learning in global harmony search algorithm. (Chinese. English summary) Zbl 1449.68077 Control Decis. 34, No. 7, 1449-1455 (2019). MSC: 68T05 68T20 PDFBibTeX XMLCite \textit{J. Zhai} and \textit{Y. Qin}, Control Decis. 34, No. 7, 1449--1455 (2019; Zbl 1449.68077) Full Text: DOI
Ganchev, Georgi; Kanchev, Krasimir Relation between the maximal space-like surfaces in \(\mathbb{R}_{2}^{4} \) and the maximal space-likes surfaces in \( \mathbb{R}_{1}^{3} \). (English) Zbl 1438.53022 C. R. Acad. Bulg. Sci. 72, No. 6, 711-719 (2019). Reviewer: Petar Popivanov (Sofia) MSC: 53A10 53A05 53A35 53B30 PDFBibTeX XMLCite \textit{G. Ganchev} and \textit{K. Kanchev}, C. R. Acad. Bulg. Sci. 72, No. 6, 711--719 (2019; Zbl 1438.53022) Full Text: DOI
Fomin, Fedor V.; Gaspers, Serge; Lokshtanov, Daniel; Saurabh, Saket Exact algorithms via monotone local search. (English) Zbl 1427.68119 J. ACM 66, No. 2, Article No. 8, 23 p. (2019). MSC: 68Q25 68T20 68W20 68W40 PDFBibTeX XMLCite \textit{F. V. Fomin} et al., J. ACM 66, No. 2, Article No. 8, 23 p. (2019; Zbl 1427.68119) Full Text: DOI arXiv
Achlioptas, Dimitris; Iliopoulos, Fotis; Kolmogorov, Vladimir A local lemma for focused stochastic algorithms. (English) Zbl 1493.68395 SIAM J. Comput. 48, No. 5, 1583-1602 (2019). MSC: 68W20 60C05 68T20 PDFBibTeX XMLCite \textit{D. Achlioptas} et al., SIAM J. Comput. 48, No. 5, 1583--1602 (2019; Zbl 1493.68395) Full Text: DOI arXiv
Stergiou, Kostas Neighborhood singleton consistencies. (English) Zbl 1468.68207 Constraints 24, No. 1, 94-131 (2019). MSC: 68T20 PDFBibTeX XMLCite \textit{K. Stergiou}, Constraints 24, No. 1, 94--131 (2019; Zbl 1468.68207) Full Text: DOI
Pham, Tu-San; Devriendt, Jo; De Causmaecker, Patrick Declarative local search for predicate logic. (English) Zbl 1522.68518 Balduccini, Marcello (ed.) et al., Logic programming and nonmonotonic reasoning. 15th international conference, LPNMR 2019, Philadelphia, PA, USA, June 3–7, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11481, 340-346 (2019). MSC: 68T20 68N17 68T27 68T30 PDFBibTeX XMLCite \textit{T.-S. Pham} et al., Lect. Notes Comput. Sci. 11481, 340--346 (2019; Zbl 1522.68518) Full Text: DOI
Wu, Shaohua; Gao, Yuelin Improvement and comparison of particle swarm optimization. (Chinese. English summary) Zbl 1438.68311 J. Hefei Univ. Technol., Nat. Sci. 42, No. 2, 184-188, 194 (2019). MSC: 68W50 68T20 90C59 PDFBibTeX XMLCite \textit{S. Wu} and \textit{Y. Gao}, J. Hefei Univ. Technol., Nat. Sci. 42, No. 2, 184--188, 194 (2019; Zbl 1438.68311) Full Text: DOI
Zhu, Junchao; Wang, Chaokun Approaches to community search under complex conditions. (Chinese. English summary) Zbl 1438.68182 J. Softw. 30, No. 3, 552-572 (2019). MSC: 68T20 91D30 PDFBibTeX XMLCite \textit{J. Zhu} and \textit{C. Wang}, J. Softw. 30, No. 3, 552--572 (2019; Zbl 1438.68182) Full Text: DOI
Atserias, Albert; Kolaitis, Phokion G.; Severini, Simone Generalized satisfiability problems via operator assignments. (English) Zbl 1423.68430 J. Comput. Syst. Sci. 105, 171-198 (2019). MSC: 68T20 47B99 81P68 PDFBibTeX XMLCite \textit{A. Atserias} et al., J. Comput. Syst. Sci. 105, 171--198 (2019; Zbl 1423.68430) Full Text: DOI arXiv
Blasco, Angel; Pérez-Díaz, Sonia The limit point and the T-function. (English) Zbl 1430.14110 J. Symb. Comput. 94, 30-51 (2019). Reviewer: Jana Chalmovianská (Bratislava) MSC: 14Q05 14H20 13P15 68W30 PDFBibTeX XMLCite \textit{A. Blasco} and \textit{S. Pérez-Díaz}, J. Symb. Comput. 94, 30--51 (2019; Zbl 1430.14110) Full Text: DOI arXiv
Kline, Jeffery Geometric search for Hadamard matrices. (English) Zbl 1422.68273 Theor. Comput. Sci. 778, 33-46 (2019). MSC: 68W20 05B20 15B34 68R05 68T20 90C26 PDFBibTeX XMLCite \textit{J. Kline}, Theor. Comput. Sci. 778, 33--46 (2019; Zbl 1422.68273) Full Text: DOI
Antonino, Pedro; Gibson-Robinson, Thomas; Roscoe, A. W. Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving. (English) Zbl 1425.68285 Formal Asp. Comput. 31, No. 3, 375-409 (2019). MSC: 68Q85 68Q60 68T20 PDFBibTeX XMLCite \textit{P. Antonino} et al., Formal Asp. Comput. 31, No. 3, 375--409 (2019; Zbl 1425.68285) Full Text: DOI
Darwiche, Mostafa; Conte, Donatello; Raveaux, Romain; T’Kindt, Vincent A local branching heuristic for solving a graph edit distance problem. (English) Zbl 1458.68200 Comput. Oper. Res. 106, 225-235 (2019). MSC: 68T20 68T10 90C11 90C35 90C59 PDFBibTeX XMLCite \textit{M. Darwiche} et al., Comput. Oper. Res. 106, 225--235 (2019; Zbl 1458.68200) Full Text: DOI
Gaspers, Serge; Gudmundsson, Joachim; Jones, Mitchell; Mestre, Julián; Rümmele, Stefan Turbocharging treewidth heuristics. (English) Zbl 1411.68144 Algorithmica 81, No. 2, 439-475 (2019). MSC: 68T20 05C05 05C85 68Q17 68Q25 68R10 PDFBibTeX XMLCite \textit{S. Gaspers} et al., Algorithmica 81, No. 2, 439--475 (2019; Zbl 1411.68144) Full Text: DOI Link
Xu, Zhenxing; He, Kun; Li, Chu-Min An iterative path-breaking approach with mutation and restart strategies for the MAX-SAT problem. (English) Zbl 1458.68205 Comput. Oper. Res. 104, 49-58 (2019). MSC: 68T20 68R07 90C27 90C59 PDFBibTeX XMLCite \textit{Z. Xu} et al., Comput. Oper. Res. 104, 49--58 (2019; Zbl 1458.68205) Full Text: DOI arXiv
D’Andrea, Carlos; Ostafe, Alina; Shparlinski, Igor E.; Sombra, Martín Reductions modulo primes of systems of polynomial equations and algebraic dynamical systems. (English) Zbl 1403.37101 Trans. Am. Math. Soc. 371, No. 2, 1169-1198 (2019). MSC: 37P05 11G25 11G35 13P15 37P25 PDFBibTeX XMLCite \textit{C. D'Andrea} et al., Trans. Am. Math. Soc. 371, No. 2, 1169--1198 (2019; Zbl 1403.37101) Full Text: DOI arXiv
Brauer, Sascha Complexity of single-swap heuristics for metric facility location and related problems. (English) Zbl 1407.68210 Theor. Comput. Sci. 754, 88-106 (2019). MSC: 68Q25 68T20 90B80 90C27 90C59 PDFBibTeX XMLCite \textit{S. Brauer}, Theor. Comput. Sci. 754, 88--106 (2019; Zbl 1407.68210) Full Text: DOI arXiv
Demirović, Emir; Stuckey, Peter J. Constraint programming for high school timetabling: a scheduling-based model with hot starts. (English) Zbl 1490.68203 van Hoeve, Willem-Jan (ed.), Integration of constraint programming, artificial intelligence, and operations research. 15th international conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10848, 135-152 (2018). MSC: 68T20 90B35 90C27 PDFBibTeX XMLCite \textit{E. Demirović} and \textit{P. J. Stuckey}, Lect. Notes Comput. Sci. 10848, 135--152 (2018; Zbl 1490.68203) Full Text: DOI
Aldi, Marco; De Beaudrap, Niel; Gharibian, Sevag; Saeedi, Seyran On efficiently solvable cases of quantum \(k\)-SAT. (English) Zbl 1512.68099 Potapov, Igor (ed.) et al., 43rd international symposium on mathematical foundations of computer science. MFCS 2018, Liverpool, United Kingdom, August 27–31, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 117, Article 38, 16 p. (2018). MSC: 68Q12 68R10 68T20 81P65 81P68 81Q10 PDFBibTeX XMLCite \textit{M. Aldi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 117, Article 38, 16 p. (2018; Zbl 1512.68099) Full Text: DOI arXiv
Liu, Sixue Chain, generalization of covering code, and deterministic algorithm for \(k\)-SAT. (English) Zbl 1499.68382 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 88, 13 p. (2018). MSC: 68W05 68R07 68T20 68W40 PDFBibTeX XMLCite \textit{S. Liu}, LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 88, 13 p. (2018; Zbl 1499.68382) Full Text: DOI arXiv
Niu, Dangdang; Liu, Lei; Lü, Shuai New stochastic local search approaches for computing preferred extensions of abstract argumentation. (English) Zbl 1462.68184 AI Commun. 31, No. 4, 369-382 (2018). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{D. Niu} et al., AI Commun. 31, No. 4, 369--382 (2018; Zbl 1462.68184) Full Text: DOI
Cózar, Javier; delaOssa, Luis; Gámez, José A. Learning compact zero-order TSK fuzzy rule-based systems for high-dimensional problems using an apriori \(+\) local search approach. (English) Zbl 1436.68297 Inf. Sci. 433-434, 1-16 (2018). MSC: 68T05 68T20 68T37 PDFBibTeX XMLCite \textit{J. Cózar} et al., Inf. Sci. 433--434, 1--16 (2018; Zbl 1436.68297) Full Text: DOI
El Yafrani, Mohamed; Ahiod, Belaïd Efficiently solving the traveling thief problem using hill climbing and simulated annealing. (English) Zbl 1436.90121 Inf. Sci. 432, 231-244 (2018). MSC: 90C27 90C06 90C59 68T20 PDFBibTeX XMLCite \textit{M. El Yafrani} and \textit{B. Ahiod}, Inf. Sci. 432, 231--244 (2018; Zbl 1436.90121) Full Text: DOI
Chalupa, David An order-based algorithm for minimum dominating set with application in graph mining. (English) Zbl 1436.68224 Inf. Sci. 426, 101-116 (2018). MSC: 68R10 05C69 05C82 05C85 68T20 68W20 PDFBibTeX XMLCite \textit{D. Chalupa}, Inf. Sci. 426, 101--116 (2018; Zbl 1436.68224) Full Text: DOI arXiv
Thimm, Matthias Stochastic local search algorithms for abstract argumentation under stable semantics. (English) Zbl 1430.68318 Modgil, Sanjay (ed.) et al., Computational models of argument. Proceedings of the 7th conference, COMMA 2018, Warsaw, Poland, September 12–14, 2018. Amsterdam: IOS Press. Front. Artif. Intell. Appl. 305, 169-180 (2018). MSC: 68T27 68T20 PDFBibTeX XMLCite \textit{M. Thimm}, Front. Artif. Intell. Appl. 305, 169--180 (2018; Zbl 1430.68318) Full Text: DOI
McMenemy, Paul; Veerapen, Nadarajen; Ochoa, Gabriela How perturbation strength shapes the global structure of TSP fitness landscapes. (English) Zbl 1423.90233 Liefooghe, Arnaud (ed.) et al., Evolutionary computation in combinatorial optimization. 18th European conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10782, 34-49 (2018). MSC: 90C27 68T20 90C59 PDFBibTeX XMLCite \textit{P. McMenemy} et al., Lect. Notes Comput. Sci. 10782, 34--49 (2018; Zbl 1423.90233) Full Text: DOI Link
Thomson, Sarah L.; Verel, Sébastien; Ochoa, Gabriela; Veerapen, Nadarajen; McMenemy, Paul On the fractal nature of local optima networks. (English) Zbl 1423.90239 Liefooghe, Arnaud (ed.) et al., Evolutionary computation in combinatorial optimization. 18th European conference, EvoCOP 2018, Parma, Italy, April 4–6, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10782, 18-33 (2018); erratum ibid. 10782, E1 (2018). MSC: 90C27 28A80 68T20 90C59 PDFBibTeX XMLCite \textit{S. L. Thomson} et al., Lect. Notes Comput. Sci. 10782, 18--33 (2018; Zbl 1423.90239) Full Text: DOI Link
Simon, D.; Weimann, M. Plane curves with minimal discriminant. (English) Zbl 1409.14055 J. Commut. Algebra 10, No. 4, 559-598 (2018). Reviewer: Aigli Papantonopoulou (Ewing) MSC: 14H50 14R10 11R29 13P15 14E07 14H20 14H45 PDFBibTeX XMLCite \textit{D. Simon} and \textit{M. Weimann}, J. Commut. Algebra 10, No. 4, 559--598 (2018; Zbl 1409.14055) Full Text: DOI arXiv Euclid
De Landtsheer, Renaud; Guyot, Yoann; Ospina, Gustavo; Germeau, Fabian; Ponsard, Christophe Reasoning on sequences in constraint-based local search frameworks. (English) Zbl 1508.68325 van Hoeve, Willem-Jan (ed.), Integration of constraint programming, artificial intelligence, and operations research. 15th international conference, CPAIOR 2018, Delft, The Netherlands, June 26–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10848, 117-134 (2018). MSC: 68T20 68P05 90C35 PDFBibTeX XMLCite \textit{R. De Landtsheer} et al., Lect. Notes Comput. Sci. 10848, 117--134 (2018; Zbl 1508.68325) Full Text: DOI
Li, Wenfeng; Cao, Yulian; Zhang, Han Hybrid particle swarm optimization algorithm with simple and efficient coupling strategy. (Chinese. English summary) Zbl 1413.68124 Control Theory Appl. 35, No. 1, 13-23 (2018). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{W. Li} et al., Control Theory Appl. 35, No. 1, 13--23 (2018; Zbl 1413.68124) Full Text: DOI
Riquelme, Edgardo; Thériault, Nicolas Symbolic trisection polynomials for genus 2 curves in odd characteristic. (English) Zbl 1440.11107 SIAM J. Discrete Math. 32, No. 4, 2421-2440 (2018). MSC: 11G20 14H40 14H45 13P15 PDFBibTeX XMLCite \textit{E. Riquelme} and \textit{N. Thériault}, SIAM J. Discrete Math. 32, No. 4, 2421--2440 (2018; Zbl 1440.11107) Full Text: DOI
Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal Demand-driven interprocedural analysis for map-based abstract domains. (English) Zbl 1400.68054 J. Log. Algebr. Methods Program. 100, 57-70 (2018). MSC: 68N30 68T20 PDFBibTeX XMLCite \textit{K. Apinis} et al., J. Log. Algebr. Methods Program. 100, 57--70 (2018; Zbl 1400.68054) Full Text: DOI
Hastings, Matthew B. Local maxima and improved exact algorithm for MAX-2-SAT. (English) Zbl 1398.68493 Chic. J. Theor. Comput. Sci. 2018, Article No. 2, 22 p. (2018). MSC: 68T20 68W40 90C27 PDFBibTeX XMLCite \textit{M. B. Hastings}, Chic. J. Theor. Comput. Sci. 2018, Article No. 2, 22 p. (2018; Zbl 1398.68493) Full Text: DOI arXiv
Fürst, Maximilian; Leichter, Marilena; Rautenbach, Dieter Locally searching for large induced matchings. (English) Zbl 1388.68230 Theor. Comput. Sci. 720, 64-72 (2018). MSC: 68R10 05C70 05C85 68T20 68W25 PDFBibTeX XMLCite \textit{M. Fürst} et al., Theor. Comput. Sci. 720, 64--72 (2018; Zbl 1388.68230) Full Text: DOI arXiv
Chang, Mei-Chu; D’Andrea, Carlos; Ostafe, Alina; Shparlinski, Igor E.; Sombra, Martín Orbits of polynomial dynamical systems modulo primes. (English) Zbl 1416.37081 Proc. Am. Math. Soc. 146, No. 5, 2015-2025 (2018). Reviewer: Shigeki Matsutani (Kanazawa) MSC: 37P05 11G25 11G35 13P15 37P25 PDFBibTeX XMLCite \textit{M.-C. Chang} et al., Proc. Am. Math. Soc. 146, No. 5, 2015--2025 (2018; Zbl 1416.37081) Full Text: DOI arXiv
Iglesias, Andrés; Gálvez, Akemi Memetic electromagnetism algorithm for surface reconstruction with rational bivariate Bernstein basis functions. (English) Zbl 07802343 Nat. Comput. 16, No. 4, 511-525 (2017). MSC: 68W50 68T20 68U05 PDFBibTeX XMLCite \textit{A. Iglesias} and \textit{A. Gálvez}, Nat. Comput. 16, No. 4, 511--525 (2017; Zbl 07802343) Full Text: DOI
Sioutis, Michael; Paparrizou, Anastasia; Condotta, Jean-François Collective singleton-based consistency for qualitative constraint networks. (English) Zbl 1515.68293 Schewe, Sven (ed.) et al., 24th international symposium on temporal representation and reasoning, TIME 2017, Mons, Belgium, October 16–18, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 90, Article 19, 17 p. (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{M. Sioutis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 90, Article 19, 17 p. (2017; Zbl 1515.68293) Full Text: DOI
Lee, Colin; van Beek, Peter Metaheuristics for score-and-search Bayesian network structure learning. (English) Zbl 1441.68228 Mouhoub, Malek (ed.) et al., Advances in artificial intelligence. 30th Canadian conference on artificial intelligence, Canadian AI 2017, Edmonton, AB, Canada, May 16–19, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10233, 129-141 (2017). MSC: 68T20 62H22 68T05 PDFBibTeX XMLCite \textit{C. Lee} and \textit{P. van Beek}, Lect. Notes Comput. Sci. 10233, 129--141 (2017; Zbl 1441.68228) Full Text: DOI
Chatziafratis, Vaggos; Roughgarden, Tim; Vondrak, Jan Stability and recovery for independence systems. (English) Zbl 1442.68263 Pruhs, Kirk (ed.) et al., 25th European symposium on algorithms, ESA 2017, Vienna, Austria, September 4–6, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 87, Article 26, 15 p. (2017). MSC: 68W25 68T20 90C59 PDFBibTeX XMLCite \textit{V. Chatziafratis} et al., LIPIcs -- Leibniz Int. Proc. Inform. 87, Article 26, 15 p. (2017; Zbl 1442.68263) Full Text: DOI arXiv
Boley, Mario; Goldsmith, Bryan R.; Ghiringhelli, Luca M.; Vreeken, Jilles Identifying consistent statements about numerical data with dispersion-corrected subgroup discovery. (English) Zbl 1411.68095 Data Min. Knowl. Discov. 31, No. 5, 1391-1418 (2017). MSC: 68T05 62H30 68T20 PDFBibTeX XMLCite \textit{M. Boley} et al., Data Min. Knowl. Discov. 31, No. 5, 1391--1418 (2017; Zbl 1411.68095) Full Text: DOI arXiv
Borodin, Allan; Jain, Aadhar; Lee, Hyun Chul; Ye, Yuli Max-sum diversification, monotone submodular functions, and dynamic updates. (English) Zbl 1452.68273 ACM Trans. Algorithms 13, No. 3, Article No. 41, 25 p. (2017). MSC: 68W25 68T20 90C27 PDFBibTeX XMLCite \textit{A. Borodin} et al., ACM Trans. Algorithms 13, No. 3, Article No. 41, 25 p. (2017; Zbl 1452.68273) Full Text: DOI arXiv
Etscheid, Michael; Röglin, Heiko Smoothed analysis of local search for the maximum-cut problem. (English) Zbl 1421.68152 ACM Trans. Algorithms 13, No. 2, Article No. 25, 12 p. (2017). MSC: 68T20 68W40 90C59 PDFBibTeX XMLCite \textit{M. Etscheid} and \textit{H. Röglin}, ACM Trans. Algorithms 13, No. 2, Article No. 25, 12 p. (2017; Zbl 1421.68152) Full Text: DOI
Ostafe, Alina; Shparlinski, Igor E. Orbits of algebraic dynamical systems in subgroups and subfields. (English) Zbl 1393.37113 Elsholtz, Christian (ed.) et al., Number theory – Diophantine problems, uniform distribution and applications. Festschrift in honour of Robert F. Tichy’s 60th birthday. Cham: Springer (ISBN 978-3-319-55356-6/hbk; 978-3-319-55357-3/ebook). 347-368 (2017). MSC: 37P25 37P05 11G25 11G35 13P15 37P30 PDFBibTeX XMLCite \textit{A. Ostafe} and \textit{I. E. Shparlinski}, in: Number theory -- Diophantine problems, uniform distribution and applications. Festschrift in honour of Robert F. Tichy's 60th birthday. Cham: Springer. 347--368 (2017; Zbl 1393.37113) Full Text: DOI
Poloczek, Matthias; Williamson, David P. An experimental evaluation of fast approximation algorithms for the maximum satisfiability problem. (English) Zbl 1414.68105 ACM J. Exp. Algorithm. 22, Article No. 1.6, 18 p. (2017). MSC: 68T20 68W25 PDFBibTeX XMLCite \textit{M. Poloczek} and \textit{D. P. Williamson}, ACM J. Exp. Algorithm. 22, Article No. 1.6, 18 p. (2017; Zbl 1414.68105) Full Text: DOI
Ning, Guiying; Cao, Dunqian; Zhou, Yongquan A differential evolution algorithm based on Powell search method. (Chinese. English summary) Zbl 1399.68213 Numer. Math., Nanjing 39, No. 3, 267-280 (2017). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{G. Ning} et al., Numer. Math., Nanjing 39, No. 3, 267--280 (2017; Zbl 1399.68213)
Soria-Alcaraz, Jorge A.; Ochoa, Gabriela; Sotelo-Figeroa, Marco A.; Burke, Edmund K. A methodology for determining an effective subset of heuristics in selection hyper-heuristics. (English) Zbl 1403.90658 Eur. J. Oper. Res. 260, No. 3, 972-983 (2017). MSC: 90C59 68T20 90C27 PDFBibTeX XMLCite \textit{J. A. Soria-Alcaraz} et al., Eur. J. Oper. Res. 260, No. 3, 972--983 (2017; Zbl 1403.90658) Full Text: DOI Link
Lu, Qingyu; Zhang, Xiaoming Adaptive hybrid mutation gravitational search algorithm. (Chinese. English summary) Zbl 1399.68211 J. Chongqing Norm. Univ., Nat. Sci. 34, No. 3, 85-90 (2017). MSC: 68T20 90C59 PDFBibTeX XMLCite \textit{Q. Lu} and \textit{X. Zhang}, J. Chongqing Norm. Univ., Nat. Sci. 34, No. 3, 85--90 (2017; Zbl 1399.68211) Full Text: DOI
Zhou, Yi; Hao, Jin-Kao; Goëffon, Adrien PUSH: A generalized operator for the maximum vertex weight clique problem. (English) Zbl 1394.90506 Eur. J. Oper. Res. 257, No. 1, 41-54 (2017). MSC: 90C27 90C35 90C59 05C85 68T20 PDFBibTeX XMLCite \textit{Y. Zhou} et al., Eur. J. Oper. Res. 257, No. 1, 41--54 (2017; Zbl 1394.90506) Full Text: DOI HAL
Eremeev, A. V.; Reeves, C. R. On confidence intervals for the number of local optima. (Russian. English summary) Zbl 1399.90298 Mat. Strukt. Model. 41, 55-74 (2017). MSC: 90C59 68T20 90C27 PDFBibTeX XMLCite \textit{A. V. Eremeev} and \textit{C. R. Reeves}, Mat. Strukt. Model. 41, 55--74 (2017; Zbl 1399.90298) Full Text: Link
Gaspers, Serge; Gudmundsson, Joachim; Jones, Mitchell; Mestre, Julián; Rümmele, Stefan Turbocharging treewidth heuristics. (English) Zbl 1398.68490 Guo, Jiong (ed.) et al., 11th international symposium on parameterized and exact computation (IPEC 2016), Aarhus, Denmark, August 24–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-023-1). LIPIcs – Leibniz International Proceedings in Informatics 63, Article 13, 13 p. (2017). MSC: 68T20 68Q17 68Q25 PDFBibTeX XMLCite \textit{S. Gaspers} et al., LIPIcs -- Leibniz Int. Proc. Inform. 63, Article 13, 13 p. (2017; Zbl 1398.68490) Full Text: DOI
Niemetz, Aina; Preiner, Mathias; Biere, Armin Propagation based local search for bit-precise reasoning. (English) Zbl 1377.68134 Form. Methods Syst. Des. 51, No. 3, 608-636 (2017). MSC: 68Q60 03B70 68T20 PDFBibTeX XMLCite \textit{A. Niemetz} et al., Form. Methods Syst. Des. 51, No. 3, 608--636 (2017; Zbl 1377.68134) Full Text: DOI
Alonso, M. Emilia; Lombardi, Henri Local Bézout theorem for Henselian rings. (English) Zbl 1390.13075 Collect. Math. 68, No. 3, 419-432 (2017). Reviewer: Guillaume Rond (Marseille) MSC: 13J15 13P10 13P15 14Q20 03F65 PDFBibTeX XMLCite \textit{M. E. Alonso} and \textit{H. Lombardi}, Collect. Math. 68, No. 3, 419--432 (2017; Zbl 1390.13075) Full Text: DOI arXiv
Fan, Zhou; Montanari, Andrea How well do local algorithms solve semidefinite programs? (English) Zbl 1369.90118 Hatami, Hamed (ed.) et al., Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC ’17, Montreal, QC, Canada, June 19–23, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4528-6). 604-614 (2017). MSC: 90C22 05C80 68T20 90C59 PDFBibTeX XMLCite \textit{Z. Fan} and \textit{A. Montanari}, in: Proceedings of the 49th annual ACM SIGACT symposium on theory of computing, STOC '17, Montreal, QC, Canada, June 19--23, 2017. New York, NY: Association for Computing Machinery (ACM). 604--614 (2017; Zbl 1369.90118) Full Text: DOI arXiv
Díaz, Mateo; Bras, Ronan Le; Gomes, Carla In search of balance: the challenge of generating balanced Latin rectangles. (English) Zbl 1489.68251 Salvagnin, Domenico (ed.) et al., Integration of AI and OR techniques in constraint programming. 14th international conference, CPAIOR 2017, Padua, Italy, June 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10335, 68-76 (2017). MSC: 68T20 05B15 90C11 90C27 PDFBibTeX XMLCite \textit{M. Díaz} et al., Lect. Notes Comput. Sci. 10335, 68--76 (2017; Zbl 1489.68251) Full Text: DOI
Paes, Aline; Zaverucha, Gerson; Santos Costa, Vítor On the use of stochastic local search techniques to revise first-order logic theories from examples. (English) Zbl 1453.68172 Mach. Learn. 106, No. 2, 197-241 (2017). MSC: 68T20 68N17 68T05 68T27 PDFBibTeX XMLCite \textit{A. Paes} et al., Mach. Learn. 106, No. 2, 197--241 (2017; Zbl 1453.68172) Full Text: DOI
Bus, Norbert; Garg, Shashwat; Mustafa, Nabil H.; Ray, Saurabh Limits of local search: quality and efficiency. (English) Zbl 1369.68339 Discrete Comput. Geom. 57, No. 3, 607-624 (2017). MSC: 68U05 68T20 68W25 90C27 90C59 PDFBibTeX XMLCite \textit{N. Bus} et al., Discrete Comput. Geom. 57, No. 3, 607--624 (2017; Zbl 1369.68339) Full Text: DOI HAL
Abramé, André; Habet, Djamal; Toumi, Donia Improving configuration checking for satisfiable random \(k\)-SAT instances. (English) Zbl 1404.68136 Ann. Math. Artif. Intell. 79, No. 1-3, 5-24 (2017). MSC: 68T20 PDFBibTeX XMLCite \textit{A. Abramé} et al., Ann. Math. Artif. Intell. 79, No. 1--3, 5--24 (2017; Zbl 1404.68136) Full Text: DOI
Lombardi, Michele; Milano, Michela; Bartolini, Andrea Empirical decision model learning. (English) Zbl 1404.68113 Artif. Intell. 244, 343-367 (2017). MSC: 68T05 68T20 90C27 PDFBibTeX XMLCite \textit{M. Lombardi} et al., Artif. Intell. 244, 343--367 (2017; Zbl 1404.68113) Full Text: DOI