×

Found 145 Documents (Results 1–100)

An STL-based approach to resilient control for cyber-physical systems. (English) Zbl 07807943

Proceedings of the 26th ACM international conference on hybrid systems: computation and control, HSCC 2023, part of the 16th CPS-IoT week, San Antonio, TX, USA, May 9–12, 2023. New York, NY: Association for Computing Machinery (ACM). Paper No. 2, 12 p. (2023).
MSC:  68Q45 68Q60 93C30
PDFBibTeX XMLCite
Full Text: DOI arXiv

Comparison of parallel implementations of the branch-and-bound method for shared memory systems. (English. Russian original) Zbl 07790679

J. Comput. Syst. Sci. Int. 62, No. 2, 248-262 (2023); translation from Izv. Ross. Akad. Nauk, Teor. Sist. Upr. 2023, No. 2, 108-122 (2023).
MSC:  68Mxx 68W10 93E20
PDFBibTeX XMLCite
Full Text: DOI

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

Exact solution of two location problems via branch-and-bound. (English) Zbl 1388.90069

Eiselt, H. A. (ed.) et al., Foundations of location analysis. New York, NY: Springer (ISBN 978-1-4419-7571-3/hbk; 978-1-4419-7572-0/ebook). International Series in Operations Research & Management Science 155, 291-314 (2011).
MSC:  90B80 90C57
PDFBibTeX XMLCite
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