×

Found 809 Documents (Results 1–100)

Three views on dependency covers from an FCA perspective. (English) Zbl 07786583

Dürrschnabel, Dominik (ed.) et al., Formal concept analysis. 17th international conference, ICFCA 2023, Kassel, Germany, July 17–21, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13934, 78-94 (2023).
MSC:  68T30
PDFBibTeX XMLCite
Full Text: DOI

The Boolean determinant calculus. (English) Zbl 07737803

Tchemisova, Tatiana V. (ed.) et al., Dynamic control and optimization. DCO 2021, Aveiro, Portugal, February 3–5, 2021. Selected revised contributions. Cham: Springer. Springer Proc. Math. Stat. 407, 163-184 (2022).
MSC:  06-XX
PDFBibTeX XMLCite
Full Text: DOI

Optimal seating assignment in the COVID-19 era via quantum computing. (English) Zbl 1522.90064

Fidanova, Stefka (ed.), Recent advances in computational optimization. Results of the workshop on computational optimization, WCO 2021. Cham: Springer. Stud. Comput. Intell. 1044, 21-38 (2022).
MSC:  90C20 81P68
PDFBibTeX XMLCite
Full Text: DOI

Invariant inference with provable complexity from the monotone theory. (English) Zbl 1524.68187

Singh, Gagandeep (ed.) et al., Static analysis. 29th international symposium, SAS 2022, Auckland, New Zealand, December 5–7, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13790, 201-226 (2022).
MSC:  68Q60 68Q25 68Q32
PDFBibTeX XMLCite
Full Text: DOI arXiv

Logical proportions-related classification methods beyond analogy. (English) Zbl 1524.68262

Dupin de Saint-Cyr, Florence (ed.) et al., Scalable uncertainty management. 15th international conference, SUM 2022, Paris, France, October 17–19, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13562, 219-234 (2022).
MSC:  68T05 62H30
PDFBibTeX XMLCite
Full Text: DOI

Variable-depth simulation of most permissive Boolean networks. (English) Zbl 1505.92080

Petre, Ion (ed.) et al., Computational methods in systems biology. 20th international conference, CMSB 2022, Bucharest, Romania, September 14–16, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13447, 138-157 (2022).
MSC:  92C42 92C40 94C11
PDFBibTeX XMLCite
Full Text: DOI arXiv

Mathematical programming models and exact algorithms. (English) Zbl 1506.90198

Punnen, Abraham P. (ed.), The quadratic unconstrained binary optimization problem. Theory, algorithms, and applications. Cham: Springer. 139-185 (2022).
PDFBibTeX XMLCite
Full Text: DOI

Complexity and polynomially solvable special cases of QUBO. (English) Zbl 1506.90191

Punnen, Abraham P. (ed.), The quadratic unconstrained binary optimization problem. Theory, algorithms, and applications. Cham: Springer. 57-95 (2022).
MSC:  90C20 90C09
PDFBibTeX XMLCite
Full Text: DOI

Applications and computational advances for solving the QUBO model. (English) Zbl 1506.90194

Punnen, Abraham P. (ed.), The quadratic unconstrained binary optimization problem. Theory, algorithms, and applications. Cham: Springer. 39-56 (2022).
MSC:  90C20 90C09 90C27
PDFBibTeX XMLCite
Full Text: DOI

A novel completeness test for leakage models and its application to side channel attacks and responsibly engineered simulators. (English) Zbl 1496.94044

Dunkelman, Orr (ed.) et al., Advances in cryptology – EUROCRYPT 2022. 41st annual international conference on the theory and applications of cryptographic techniques, Trondheim, Norway, May 30 – June 3, 2022. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 13277, 254-283 (2022).
MSC:  94A60
PDFBibTeX XMLCite
Full Text: DOI

Simple odd \(\beta \)-cycle inequalities for binary polynomial optimization. (English) Zbl 1497.90144

Aardal, Karen (ed.) et al., Integer programming and combinatorial optimization. 23rd international conference, IPCO 2022, Eindhoven, The Netherlands, June 27–29, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13265, 181-194 (2022).
MSC:  90C23 90C10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Modeling the Costas array problem in QUBO for quantum annealing. (English) Zbl 1499.90179

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, 143-158 (2022).
MSC:  90C27 81P68
PDFBibTeX XMLCite
Full Text: DOI

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

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