×

Found 1,021 Documents (Results 1–100)

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
Full Text: DOI

Monte Carlo tree search for automatic differential characteristics search: application to SPECK. (English) Zbl 1519.94048

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, 373-397 (2023).
MSC:  94A60 68P25
Full Text: DOI

An FPT-algorithm for longest common subsequence parameterized by the maximum number of deletions. (English) Zbl 07842467

Bannai, Hideo (ed.) et al., 33rd annual symposium on combinatorial pattern matching, CPM 2022, Prague, Czech Republic, June 27–29, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 223, Article 6, 11 p. (2022).
MSC:  68W32
Full Text: DOI

Monte Carlo tree search for priced timed automata. (English) Zbl 1522.68273

Ábrahám, Erika (ed.) et al., Quantitative evaluation of systems. 19th international conference, QEST 2022, Warsaw, Poland, September 12–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13479, 381-398 (2022).
MSC:  68Q45 68T20 90B35

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).

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

Efficient privacy-preserving variable-length substring match for genome sequence. (English) Zbl 1519.92168

Carbone, Alessandra (ed.) et al., 21st international workshop on algorithms in bioinformatics, WABI 2021, August 2–4, 2021, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 201, Article 2, 23 p. (2021).
Full Text: DOI

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

Effective hybrid system falsification using Monte Carlo tree search guided by QB-robustness. (English) Zbl 1493.68227

Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 595-618 (2021).
MSC:  68Q60 03B44

Safe learning for near-optimal scheduling. (English) Zbl 1491.68151

Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 235-254 (2021).
MSC:  68T05 68T20 90C40

Split trees – a unifying model for many important random trees of logarithmic height: a brief survey. (English) Zbl 1484.68057

Lindblad, Joakim (ed.) et al., Discrete geometry and mathematical morphology. First international joint conference, DGMM 2021, Uppsala, Sweden, May 24–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12708, 20-57 (2021).
Full Text: DOI

New binary search tree bounds via geometric inversions. (English) Zbl 07651167

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 28, 16 p. (2020).
MSC:  68Wxx
Full Text: DOI

Lower bounds and approximation algorithms for search space sizes in contraction hierarchies. (English) Zbl 07651159

Grandoni, Fabrizio (ed.) et al., 28th annual European symposium on algorithms. ESA 2020, September 7–9, 2020, Pisa, Italy, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 173, Article 20, 14 p. (2020).
MSC:  68Wxx
Full Text: DOI

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

Monte Carlo tree search guided by symbolic advice for MDPs. (English) Zbl 07559496

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 40, 24 p. (2020).
MSC:  68Q85

A criterion of optimality of some parallelization scheme for backtrack search problem in binary trees. (English) Zbl 1477.90041

Jaćimović, Milojica (ed.) et al., Optimization and applications. 10th international conference, OPTIMA 2019, Petrovac, Montenegro, September 30 – October 4, 2019. Revised selected papers. Cham: Springer. Commun. Comput. Inf. Sci. 1145, 455-464 (2020).
MSC:  90C10
Full Text: DOI

Verifying the gaming strategy of self-learning game by using PRISM-games. (English) Zbl 1458.68189

Vasant, Pandian (ed.) et al., Intelligent computing and optimization. Proceedings of the 2nd international conference on intelligent computing and optimization 2019 (ICO 2019), Koh Samui, Thailand, October 3–4, 2019. Cham: Springer. Adv. Intell. Syst. Comput. 1072, 148-159 (2020).
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software