×

Found 4,721 Documents (Results 1–100)

Simulation-based search. (English) Zbl 07821712

Beliaev, Dmitry (ed.) et al., International congress of mathematicians 2022, ICM 2022, Helsinki, Finland, virtual, July 6–14, 2022. Volume 6. Sections 12–14. Berlin: European Mathematical Society (EMS). 4800-4819 (2023).
MSC:  68T20 68T05 90C40
PDFBibTeX XMLCite
Full Text: DOI

The generation problem in Thompson group \(F\). (English) Zbl 07807553

Memoirs of the American Mathematical Society 1451. Providence, RI: American Mathematical Society (AMS) (ISBN 978-1-4704-6723-4/pbk; 978-1-4704-7696-0/ebook). v, 94 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Quantum search-to-decision reduction for the LWE problem. (English) Zbl 1531.94078

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).
PDFBibTeX XMLCite
Full Text: DOI

Undecidability of the topological entropy of reversible cellular automata and related problems. (English) Zbl 07787632

Genova, Daniela (ed.) et al., Unconventional computation and natural computation. 20th international conference, UCNC 2023, Jacksonville, FL, USA, March 13–17, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14003, 108-123 (2023).
PDFBibTeX XMLCite
Full Text: DOI

The membership problem for hypergeometric sequences with quadratic parameters. (English) Zbl 07760786

Dickenstein, Alicia (ed.) et al., Proceedings of the 48th international symposium on symbolic and algebraic computation, ISSAC, Tromsø, Norway, July 24–27, 2023. New York, NY: Association for Computing Machinery (ACM). 407-416 (2023).
MSC:  68W30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Multi-objective optimization for the design of salary structures. (English) Zbl 07745676

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, 427-442 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

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

Optimization bounds from decision diagrams in Haddock. (English) Zbl 07745659

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, 150-166 (2023).
MSC:  68T20 90Bxx 90C27
PDFBibTeX XMLCite
Full Text: DOI

Handbook of metaheuristic algorithms. From fundamental theories to advanced applications. (English) Zbl 1530.68001

Uncertainty, Computational Techniques, and Decision Intelligence. Amsterdam: Elsevier/Academic Press (ISBN 978-0-443-19108-4/pbk; 978-0-443-19109-1/ebook). xxxi 584 p. (2023).
PDFBibTeX XMLCite
Full Text: DOI

Fourier transform of the summatory Abel-Poisson function. (English. Ukrainian original) Zbl 1508.42008

Cybern. Syst. Anal. 58, No. 6, 957-965 (2022); translation from Kibern. Sist. Anal. 58, No. 6, 120-129 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Database

all top 5

Author

all top 5

Serial

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software