Arandjelović, Aleksandar; Rheinländer, Thorsten; Shevchenko, Pavel V. Importance sampling for option pricing with feedforward neural networks. (English) Zbl 07963952 Finance Stoch. 29, No. 1, 97-141 (2025). MSC: 91Gxx 60G15 65B99 65C05 68T07 91G20 91G60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Barto, Libor; Mottet, Antoine Finite algebras with Hom-sets of polynomial size. (English) Zbl 07959113 Trans. Am. Math. Soc. 378, No. 1, 569-596 (2025). MSC: 08A05 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bhattacharyya, Sreyosi; Nath, Kaushik; Sarkar, Palash Polynomial hashing over prime order fields. (English) Zbl 07952463 Adv. Math. Commun. 19, No. 1, 337-378 (2025). MSC: 68P25 11Y16 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Barto, Libor; Kapytka, Maryia Multisorted Boolean clones determined by binary relations up to minion homomorphisms. (English) Zbl 07946584 Algebra Univers. 86, No. 1, Paper No. 1, 36 p. (2025). MSC: 08B05 03B50 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Alkhezi, Yousuf; Almubarak, Yousuf H. R.; Shafee, Ahmad Neural-network-based approximations for investigating a Pantograph delay differential equation with application in Algebra. (English) Zbl 07907981 Int. J. Math. Comput. Sci. 20, No. 1, 195-209 (2025). MSC: 08A70 65L06 × Cite Format Result Cite Review PDF Full Text: DOI
Incer, Inigo An adjunction between Boolean algebras and a subcategory of Stone algebras. (English) Zbl 07977818 Theory Appl. Categ. 41, 2041-2057 (2024). MSC: 08A70 08C05 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Krokhin, Andrei [Bodirsky, Manuel] Book review of: M. Bodirsky, Complexity of infinite-domain constraint satisfaction. (English) Zbl 07974426 Bull. Symb. Log. 30, No. 3, 431-432 (2024). MSC: 00A17 68-02 03C35 03C98 05D10 08A70 68Q25 68R05 68R07 × Cite Format Result Cite Review PDF Full Text: DOI
Mottet, Antoine; Nagy, Tomáš; Pinsker, Michael; Wrona, Michał Collapsing the bounded width hierarchy for infinite-domain constraint satisfaction problems: when symmetries are enough. (English) Zbl 07959763 SIAM J. Comput. 53, No. 6, 1709-1745 (2024). MSC: 03B70 03C05 08A35 68Q17 68Q19 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Tsibul’skiĭ, Dmitriĭ Alekseevich Special cases of the interpolation theorem for classical predicate calculus. (Russian. English summary) Zbl 07953477 Chebyshevskiĭ Sb. 25, No. 2(93), 222-234 (2024). MSC: 68-XX 03-XX × Cite Format Result Cite Review PDF Full Text: DOI MNR
Rybalov, Alexander Nikolaevich On complexity of solving of equations over graphs. (Russian. English summary) Zbl 07949518 Sib. Èlektron. Mat. Izv. 21, No. 1, 62-69 (2024). MSC: 68Q25 05C25 08A70 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI MNR
Sauras-Altuzarra, Lorenzo Some applications of Baaz’s generalization method to the study of the factors of Fermat numbers. (English) Zbl 07942594 J. Log. Comput. 34, No. 6, 1199-1209 (2024); correction ibid. 33, No. 3, 707 (2023). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Redondi, Gianluca; Cimatti, Alessandro; Griggio, Alberto; McMillan, Kenneth L. Invariant checking for SMT-based systems with quantifiers. (English) Zbl 07942539 ACM Trans. Comput. Log. 25, No. 4, Article No. 24, 37 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bonnet, Édouard; Duron, Julien; Sylvester, John; Zamaraev, Viktor; Zhukovskii, Maksim Small but unwieldy: a lower bound on adjacency labels for small classes. (English) Zbl 07937496 SIAM J. Comput. 53, No. 5, 1578-1601 (2024). MSC: 68R01 68R05 05C80 × Cite Format Result Cite Review PDF Full Text: DOI
Bulatov, Andrei A. Graphs of finite algebras: edges, and connectivity. (English) Zbl 07937495 Algebra Univers. 85, No. 4, Paper No. 45, 38 p. (2024). MSC: 08A05 08A40 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bulatov, Andrei A. Graphs of finite algebras: maximality, rectangularity, and decomposition. (English) Zbl 07937493 Algebra Univers. 85, No. 4, Paper No. 43, 33 p. (2024). MSC: 08A05 08A40 08A70 × Cite Format Result Cite Review PDF Full Text: DOI
Bodirsky, Manuel; Jonsson, Peter; Martin, Barnaby; Mottet, Antoine; Semanišinová, Žaneta Complexity classification transfer for CSPs via algebraic products. (English) Zbl 07929059 SIAM J. Comput. 53, No. 5, 1293-1353 (2024). MSC: 06A05 68Q25 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chacko, V. M.; Sania, Ann Joint module importance measures for multistate systems. (English) Zbl 07921747 Opsearch 61, No. 3, 1093-1107 (2024). MSC: 90Bxx × Cite Format Result Cite Review PDF Full Text: DOI
Celic, Berina; Kieseberg, Klaus; Garn, Bernhard; Simos, Dimitris E. Disaster incident analysis via algebra stories. (English) Zbl 07920027 Math. Comput. Sci. 18, No. 2, Paper No. 11, 15 p. (2024). MSC: 68T50 08A70 91F99 × Cite Format Result Cite Review PDF Full Text: DOI
Chen, Hubie Algebraic global gadgetry for surjective constraint satisfaction. (English) Zbl 1548.68094 Comput. Complexity 33, No. 1, Paper No. 7, 34 p. (2024). MSC: 68Q17 08A70 68R07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Anokhin, Mikhail There are no post-quantum weakly pseudo-free families in any nontrivial variety of expanded groups. (English) Zbl 1543.94701 Int. J. Algebra Comput. 34, No. 4, 471-490 (2024). MSC: 94A60 20E05 68Q12 68Q09 08A70 81P94 68P25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Mazor, Noam; Zhang, Jiapeng Simple constructions from (almost) regular one-way functions. (English) Zbl 1543.94749 J. Cryptology 37, No. 3, Paper No. 25, 30 p. (2024). MSC: 94A60 94A62 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Barto, Libor; Brady, Zarathustra; Bulatov, Andrei; Kozik, Marcin; Zhuk, Dmitriy Unifying the three algebraic approaches to the CSP via minimal Taylor algebras. (English) Zbl 07875518 TheoretiCS 3, Paper No. 14, 76 p. (2024). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Antić, Christian Boolean proportions. (English) Zbl 07872349 Log. Methods Comput. Sci. 20, No. 2, Paper No. 2, 20 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Takhanov, Rustem On the induced problem for fixed-template CSPs. (English) Zbl 07871852 Fernau, Henning (ed.) et al., SOFSEM 2024: theory and practice of computer science. 49th international conference on current trends in theory and practice of computer science, SOFSEM 2024, Cochem, Germany, February 19–23, 2024. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14519, 485-499 (2024). MSC: 68R07 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Genova, Daniela; Hoogeboom, Hendrik Jan; Kleijn, Jetty Functional equivalence and a cover relation for reaction systems. (English) Zbl 07868371 Theor. Comput. Sci. 1004, Article ID 114633, 12 p. (2024). MSC: 68Q07 08A70 × Cite Format Result Cite Review PDF Full Text: DOI
Hudcová, Barbora; Krásenský, Jakub Simulation limitations of affine cellular automata. (English) Zbl 07859409 Theor. Comput. Sci. 1003, Article ID 114606, 17 p. (2024). Reviewer: Thomas B. Ward (Durham) MSC: 68Q80 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Wiese, Moritz; Boche, Holger \(\varepsilon\)-almost collision-flat universal hash functions and mosaics of designs. (English) Zbl 1536.05060 Des. Codes Cryptography 92, No. 4, 975-998 (2024). MSC: 05B05 05B30 68R05 94A60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gholami, Saber; Harutyunyan, Hovhannes A. A note to non-adaptive broadcasting. (English) Zbl 07829134 Parallel Process. Lett. 34, No. 1, Article ID 2340017, 19 p. (2024). MSC: 68R10 68M10 90B18 × Cite Format Result Cite Review PDF Full Text: DOI
Vucaj, Albert; Zhuk, Dmitriy Submaximal clones over a three-element set up to minor-equivalence. (English) Zbl 07828210 Algebra Univers. 85, No. 2, Paper No. 22, 31 p. (2024). MSC: 03B50 08A70 08B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
van Gool, Sam; Guatto, Adrien; Metcalfe, George; Santschi, Simon Deciding equations in the time warp algebra. (English) Zbl 07814916 Log. Methods Comput. Sci. 20, No. 1, Paper No. 8, 22 p. (2024). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Stogin, John; Mali, Ankur; Giles, C. Lee A provably stable neural network Turing machine with finite precision and time. (English) Zbl 07804500 Inf. Sci. 658, Article ID 120034, 20 p. (2024). MSC: 68-XX 92-XX × Cite Format Result Cite Review PDF Full Text: DOI
Boonsol, Julaluk; Kitpratyakul, Pongsakorn; Changphas, Thawhat; Pibaljommee, Bundit A product of tree languages. (English) Zbl 1538.20046 Int. J. Math. Comput. Sci. 19, No. 2, 279-288 (2024). MSC: 20M35 08A70 20M10 68Q45 × Cite Format Result Cite Review PDF Full Text: Link
Berg, Maxim van den; Dutta, Pranjal; Gesmundo, Fulvio; Ikenmeyer, Christian; Lysikov, Vladimir Vladimirovich Algebraic metacomplexity and representation theory. arXiv:2411.03444 Preprint, arXiv:2411.03444 [cs.CC] (2024). MSC: 68Q15 20C35 16S30 × Cite Format Result Cite Full Text: arXiv OA License
Marimon, Paolo; Pinsker, Michael Minimal operations over permutation groups. arXiv:2410.22060 Preprint, arXiv:2410.22060 [math.RA] (2024). MSC: 08A40 03C05 08A05 08A70 68Q25 03C15 20B05 20B07 × Cite Format Result Cite Full Text: arXiv OA License
Bodirsky, Manuel; Bonnet, Édouard; Semanišinová, Žaneta Temporal Valued Constraint Satisfaction Problems. arXiv:2409.07285 Preprint, arXiv:2409.07285 [math.LO] (2024). MSC: 68Q25 08A70 × Cite Format Result Cite Full Text: arXiv
Szendrei, Agnes Ivo G. Rosenberg’s Work on Maximal Clones and Minimal Clones. arXiv:2406.15184 Preprint, arXiv:2406.15184 [math.LO] (2024). MSC: 08A40 08A05 08A70 68Q25 × Cite Format Result Cite Full Text: arXiv
Kavvos, G. A. Two-dimensional Kripke Semantics II: Stability and Completeness. arXiv:2406.03578 Preprint, arXiv:2406.03578 [cs.LO] (2024). MSC: 03B45 03B20 03B70 68Q55 06D20 06D22 06D05 06D50 18A15 18A40 18F20 18D60 18C10 × Cite Format Result Cite Full Text: DOI arXiv
Kavvos, G. A. Two-dimensional Kripke Semantics I: Presheaves. arXiv:2405.04157 Preprint, arXiv:2405.04157 [cs.LO] (2024). MSC: 03B45 03B20 03B70 68Q55 06D20 06D22 06D10 06D50 18A15 18A40 18F20 18D60 × Cite Format Result Cite Full Text: DOI arXiv
Felsner, Stefan; Schrezenmaier, Hendrik; Schröder, Felix; Steiner, Raphael Linear size universal point sets for classes of planar graphs. (English) Zbl 07927888 Chambers, Erin W. (ed.) et al., 39th international symposium on computational geometry, SoCG 2023, Dallas, Texas, USA, June 12–15, 2023. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 258, Article 31, 16 p. (2023). MSC: 68U05 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Faller, Sebastian; Ottenhues, Astrid; Ottenhues, Johannes Composable oblivious pseudo-random functions via garbled circuits. (English) Zbl 1547.94362 Aly, Abdelrahaman (ed.) et al., Progress in cryptology – LATINCRYPT 2023. 8th international conference on cryptology and information security in Latin America, LATINCRYPT 2023, Quito, Ecuador, October 3–6, 2023. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 14168, 249-270 (2023). MSC: 94A60 81P94 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Keeler, Casey; Salomaa, Kai Maximal existential and universal width. (English) Zbl 07897389 Sci. Ann. Comput. Sci. 33, No. 1, 53-77 (2023). MSC: 68Qxx 68Wxx × Cite Format Result Cite Review PDF Full Text: DOI
Berger, Robin; Broadnax, Brandon; Klooß, Michael; Mechler, Jeremias; Müller-Quade, Jörn; Ottenhues, Astrid; Raiber, Markus Composable long-term security with rewinding. (English) Zbl 1545.94053 Rothblum, Guy (ed.) et al., Theory of cryptography. 21st international conference, TCC 2023, Taipei, Taiwan, November 29 – December 2, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14372, 510-541 (2023). MSC: 94A60 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Jackson, Marcel; Stokes, Tim Restriction in program algebra. (English) Zbl 07806942 Log. J. IGPL 31, No. 5, 926-960 (2023). MSC: 08A70 08A55 20M10 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Fuchs, Jonathan; Rotella, Yann; Daemen, Joan On the security of keyed hashing based on public permutations. (English) Zbl 1531.94051 Handschuh, Helena (ed.) et al., Advances in cryptology – CRYPTO 2023. 43rd annual international cryptology conference, CRYPTO 2023, Santa Barbara, CA, USA, August 20–24, 2023. Proceedings. Part III. Cham: Springer. Lect. Notes Comput. Sci. 14083, 607-627 (2023). MSC: 94A60 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Mao, Xinyu; Mazor, Noam; Zhang, Jiapeng Non-adaptive universal one-way hash functions from arbitrary one-way functions. (English) Zbl 1528.94071 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part IV. Cham: Springer. Lect. Notes Comput. Sci. 14007, 502-531 (2023). MSC: 94A60 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Ganesh, Chaya; Kondi, Yashvanth; Orlandi, Claudio; Pancholi, Mahak; Takahashi, Akira; Tschudi, Daniel Witness-succinct universally-composable SNARKs. (English) Zbl 1535.94053 Hazay, Carmit (ed.) et al., Advances in cryptology – EUROCRYPT 2023. 42nd annual international conference on the theory and applications of cryptographic techniques, Lyon, France, April 23–27, 2023. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 14005, 315-346 (2023). MSC: 94A60 68P25 68N20 × Cite Format Result Cite Review PDF Full Text: DOI
Ganesh, Arun; Maggs, Bruce M.; Panigrahi, Debmalya Universal algorithms for clustering problems. (English) Zbl 07753166 ACM Trans. Algorithms 19, No. 2, Article No. 15, 46 p. (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bhangale, Amey; Stanković, Aleksa Max-3-Lin over non-abelian groups with universal factor graphs. (English) Zbl 07742468 Algorithmica 85, No. 9, 2693-2734 (2023). MSC: 68Wxx 05Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Kapur, Deepak Modularity and combination of associative commutative congruence closure algorithms enriched with semantic properties. (English) Zbl 07731908 Log. Methods Comput. Sci. 19, No. 1, Paper No. 19, 41 p. (2023). MSC: 68W30 08A70 13P10 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shkatov, Dmitry; Van Alten, C. J. Complexity of the universal theory of residuated ordered groupoids. (English) Zbl 07726398 J. Logic Lang. Inf. 32, No. 3, 489-510 (2023). MSC: 03-XX 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Grilliette, Will; Rusnak, Lucas J. Incidence hypergraphs: the categorical inconsistency of set-systems and a characterization of quiver exponentials. (English) Zbl 1518.05144 J. Algebr. Comb. 58, No. 1, 1-36 (2023). MSC: 05C65 05C76 68R10 18A40 18B25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bodirsky, Manuel; Vucaj, Albert; Zhuk, Dmitriy The lattice of clones of self-dual operations collapsed. (English) Zbl 07713610 Int. J. Algebra Comput. 33, No. 4, 717-749 (2023). MSC: 03B50 08A70 08B05 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Shaheen, Salma; Willard, Ross Algebras from finite group actions and a question of Eilenberg and Schützenberger. (English) Zbl 07710325 J. Algebra 631, 896-910 (2023). MSC: 08B05 20M35 08A68 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Dobbins, Michael Gene; Kleist, Linda; Miltzow, Tillmann; Rzążewski, Paweł Completeness for the complexity class \(\forall \exists \mathbb{R}\) and area-universality. (English) Zbl 07694927 Discrete Comput. Geom. 70, No. 1, 154-188 (2023). MSC: 68Q15 05C62 05C10 14P99 68R10 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Sawada, Joe; Williams, Aaron Constructing the first (and coolest) fixed-content universal cycle. (English) Zbl 07691821 Algorithmica 85, No. 6, 1754-1785 (2023). MSC: 68Wxx 05Cxx × Cite Format Result Cite Review PDF Full Text: DOI
Andrews, John; Ciampi, Michele; Zikas, Vassilis Etherless Ethereum Tokens: simulating native tokens in Ethereum. (English) Zbl 07677367 J. Comput. Syst. Sci. 135, 55-72 (2023). MSC: 68-XX × Cite Format Result Cite Review PDF Full Text: DOI
Tyagi, Himanshu; Watanabe, Shun Information-theoretic cryptography. (English) Zbl 1527.94001 Cambridge: Cambridge University Press (ISBN 978-1-108-48433-6/hbk; 978-1-108-67020-3/ebook). xiv, 504 p. (2023). Reviewer: Guillermo Morales Luna (Ciudad de México) MSC: 94-01 94A60 94A15 94A17 68M25 68P25 × Cite Format Result Cite Review PDF Full Text: DOI
Carvalho, Catarina; Madelaine, Florent; Martin, Barnaby; Zhuk, Dmitriy The complexity of quantified constraints: collapsibility, switchability, and the algebraic formulation. (English) Zbl 07650601 ACM Trans. Comput. Log. 24, No. 1, Article No. 5, 26 p. (2023). MSC: 03B70 68-XX × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Kompatscher, Michael The subpower membership problem of 2-nilpotent algebras. arXiv:2309.16549 Preprint, arXiv:2309.16549 [math.RA] (2023). MSC: 08A70 × Cite Format Result Cite Full Text: arXiv
Bodirsky, Manuel; Semanišinová, Žaneta; Lutz, Carsten The Complexity of Resilience Problems via Valued Constraint Satisfaction Problems. arXiv:2309.15654 Preprint, arXiv:2309.15654 [math.LO] (2023). MSC: 68Q25 08A70 68P15 × Cite Format Result Cite Full Text: DOI arXiv
Mani, A Algebraic Models for Qualified Aggregation in General Rough Sets, and Reasoning Bias Discovery. arXiv:2309.03217 Preprint, arXiv:2309.03217 [cs.AI] (2023). MSC: 03G25 03G10 03B60 06B35 08A70 × Cite Format Result Cite Full Text: arXiv OA License
Aten, Charlotte Discrete neural nets and polymorphic learning. arXiv:2308.00677 Preprint, arXiv:2308.00677 [cs.NE] (2023). MSC: 68T07 08A70 05C60 × Cite Format Result Cite Full Text: arXiv
A, Mani Rough Randomness and its Application. arXiv:2304.00005 Preprint, arXiv:2304.00005 [cs.AI] (2023). MSC: 68T37 68W30 68W99 06B99 08A70 × Cite Format Result Cite Full Text: arXiv OA License
Mottet, Antoine; Pinsker, Michael Smooth approximations and CSPs over finitely bounded homogeneous structures. (English) Zbl 07954851 Baier, Christel (ed.) et al., Proceedings of the 2022 37th annual ACM/IEEE symposium on logic in computer science, LICS 2022, Haifa, Israel, August 2–5, 2022. New York, NY: Association for Computing Machinery (ACM). Article No. 36, 13 p. (2022). MSC: 68Q25 03C13 08A40 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Adamek, Jiri Varieties of quantitative algebras and their monads. (English) Zbl 07954824 Baier, Christel (ed.) et al., Proceedings of the 2022 37th annual ACM/IEEE symposium on logic in computer science, LICS 2022, Haifa, Israel, August 2–5, 2022. New York, NY: Association for Computing Machinery (ACM). Article No. 9, 10 p. (2022). MSC: 08A70 08B05 08C05 18C15 18C20 × Cite Format Result Cite Review PDF Full Text: DOI
Segalerba, Gianluigi Division of entities and foundations of reality: Aristotle’s ontological square. (English) Zbl 07909174 Beziau, Jean-Yves (ed.) et al., The exoteric square of opposition. The sixth world congress on the square of opposition, Crete, Greece, November 1–5, 2018. Cham: Birkhäuser. Stud. Univers. Log., 15-52 (2022). MSC: 03A05 03A10 03B38 03B65 03B80 × Cite Format Result Cite Review PDF Full Text: DOI
Demeo, William; Carette, Jacques A machine-checked proof of Birkhoff’s variety theorem in Martin-Löf type theory. (English) Zbl 07890954 Basold, Henning (ed.) et al., 27th international conference on types for proofs and programs, TYPES 2021, Leiden, The Netherlands, virtual conference, June 14–18, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 239, Article 4, 21 p. (2022). MSC: 03B70 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chandran, Nishanth; Forghani, Pouyan; Garay, Juan; Ostrovsky, Rafail; Patel, Rutvik; Zikas, Vassilis Universally composable almost-everywhere secure computation. (English) Zbl 07871074 Dachman-Soled, Dana (ed.), 3rd conference on information-theoretic cryptography, ITC 2022, Cambridge, MA, USA, July 5–7, 2022. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 230, Article 14, 25 p. (2022). MSC: 68P25 94A60 × Cite Format Result Cite Review PDF Full Text: DOI
Bashmakov, Stepan I.; Zvereva, Tatyana Yu. Unification and finite model property for linear step-like temporal multi-agent logic with the universal modality. (English) Zbl 07811396 Bull. Sect. Log., Univ. Łódź, Dep. Log. 51, No. 3, 345-361 (2022). MSC: 03B44 03B42 03A05 03B45 03B70 03H05 × Cite Format Result Cite Review PDF Full Text: DOI
Fujii, Soichiro; Iwamasa, Yuni; Kimura, Kei Quantaloidal approach to constraint satisfaction. (English) Zbl 1530.18029 Kishida, Kohei (ed.), Proceedings of the fourth international conference on applied category theory 2021, ACT 2021, Cambridge, UK, July 12–16, 2021. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 372, 289-305 (2022). MSC: 18N10 08A70 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Courcelle, Bruno Unfoldings and coverings of weighted graphs. (English) Zbl 1533.05212 Fundam. Inform. 189, No. 1, 1-47 (2022). MSC: 05C70 05C22 68R10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv HAL
Matt, Christian; Nielsen, Jesper Buus; Thomsen, Søren Eller Formalizing delayed adaptive corruptions and the security of flooding networks. (English) Zbl 1515.68087 Dodis, Yevgeniy (ed.) et al., Advances in cryptology – CRYPTO 2022. 42nd annual international cryptology conference, CRYPTO 2022, Santa Barbara, CA, USA, August 15–18, 2022. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 13508, 400-430 (2022). MSC: 68M25 68M10 68M12 68R10 94A60 × Cite Format Result Cite Review PDF Full Text: DOI Link
Smirnov, A. V.; Shapurov, N. D.; Vysotsky, L. I. FIESTA5: numerical high-performance Feynman integral evaluation. (English) Zbl 1522.81097 Comput. Phys. Commun. 277, Article ID 108386, 16 p. (2022). MSC: 81Q30 20N05 81T33 08A70 65D30 81-08 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Zhuk, Dmitriy; Martin, Barnaby QCSP monsters and the demise of the Chen conjecture. (English) Zbl 07679903 J. ACM 69, No. 5, Article No. 35, 44 p. (2022). MSC: 68Q25 08A70 × Cite Format Result Cite Review PDF Full Text: DOI Link
Pechenkin, Aleksandr Aleksandrovich Logic as an empirical science: H. Putnam and M. Redhead. (Russian. Russian original) Zbl 1547.03047 Log. Issled. 28, No. 2, 66-76 (2022). MSC: 03A05 03G12 81P05 81P10 × Cite Format Result Cite Review PDF Full Text: DOI
Csirmaz, Előd P.; Csirmaz, László Algebra of data reconciliation. (English) Zbl 1538.68004 Stud. Sci. Math. Hung. 59, No. 3-4, 209-231 (2022). Reviewer: Wiesław A. Dudek (Wrocław) MSC: 68P05 08A70 68Q42 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Meyers, Joshua; Spivak, David I.; Wisnesky, Ryan Fast left Kan extensions using the chase. (English) Zbl 1515.18003 J. Autom. Reasoning 66, No. 4, 805-844 (2022). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18A40 68P15 03B70 03C98 03G30 18-08 18C10 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bruse, Florian; Kreiker, Jörg; Lange, Martin; Sälzer, Marco Local higher-order fixpoint iteration. (English) Zbl 1539.68144 Inf. Comput. 289, Part B, Article ID 104963, 17 p. (2022). MSC: 68Q55 08A70 68Q60 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Hirsch, Robin; Mikulás, Szabolcs; Stokes, Tim The algebra of non-deterministic programs: demonic operations, orders and axioms. (English) Zbl 1499.08001 Log. J. IGPL 30, No. 5, 886-906 (2022). MSC: 08A02 08A70 06F05 20M10 68N30 × Cite Format Result Cite Review PDF Full Text: DOI arXiv Link
Baader, Franz; Kapur, Deepak Deciding the word problem for ground and strongly shallow identities w.r.t. extensional symbols. (English) Zbl 07606341 J. Autom. Reasoning 66, No. 3, 301-329 (2022). MSC: 68Q25 08A50 08A70 68Q42 68T27 68V15 × Cite Format Result Cite Review PDF Full Text: DOI
Kumduang, Thodsaporn; Sriwongsa, Songpon A note on superassociative algebra of terms determined by singular mappings on a finite set. (English) Zbl 1513.08004 Int. J. Math. Comput. Sci. 17, No. 4, 1541-1546 (2022). MSC: 08A70 08A05 × Cite Format Result Cite Review PDF Full Text: Link
Kazda, Alexandr; Mayr, Peter; Zhuk, Dmitriy Small promise CSPs that reduce to large CSPs. (English) Zbl 1547.68528 Log. Methods Comput. Sci. 18, No. 3, Paper No. 25, 14 p. (2022). MSC: 68R07 03B70 08A70 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Lagerkvist, Victor; Wahlström, Magnus The (coarse) fine-grained structure of NP-hard SAT and CSP problems. (English) Zbl 1495.68158 ACM Trans. Comput. Theory 14, No. 1, Article No. 2, 54 p. (2022). MSC: 68R07 08A70 68Q17 × Cite Format Result Cite Review PDF Full Text: DOI Link
Bonamy, Marthe; Gavoille, Cyril; Pilipczuk, Michał Shorter labeling schemes for planar graphs. (English) Zbl 1548.68148 SIAM J. Discrete Math. 36, No. 3, 2082-2099 (2022). MSC: 68R10 05C10 05C78 05C85 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI HAL
Kazda, Alexandr; Kompatscher, Michael Local-global property for \(G\)-invariant terms. (English) Zbl 1529.08024 Int. J. Algebra Comput. 32, No. 6, 1209-1231 (2022). MSC: 08B05 08A40 08A70 20B05 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Chakraborty, Suvradip; Magri, Bernardo; Nielsen, Jesper Buus; Venturi, Daniele Universally composable subversion-resilient cryptography. (English) Zbl 1496.94032 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 I. Cham: Springer. Lect. Notes Comput. Sci. 13275, 272-302 (2022). MSC: 94A60 68P25 68N20 × Cite Format Result Cite Review PDF Full Text: DOI
Bekos, Michael A.; Di Giacomo, Emilio; Didimo, Walter; Liotta, Giuseppe; Montecchiani, Fabrizio Universal slope sets for upward planar drawings. (English) Zbl 1540.68167 Algorithmica 84, No. 9, 2556-2580 (2022). MSC: 68R10 × Cite Format Result Cite Review PDF Full Text: DOI
Kompatscher, Michael CC-circuits and the expressive power of nilpotent algebras. (English) Zbl 07566068 Log. Methods Comput. Sci. 18, No. 2, Paper No. 12, 15 p. (2022). MSC: 68Q06 08A62 08A70 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Bodirsky, Manuel; Greiner, Johannes; Rydval, Jakub Tractable combinations of temporal CSPs. (English) Zbl 1547.68251 Log. Methods Comput. Sci. 18, No. 2, Paper No. 11, 33 p. (2022). MSC: 68Q25 03B70 08A70 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Anokhin, Mikhail Pseudo-free families and cryptographic primitives. (English) Zbl 1494.94031 J. Math. Cryptol. 16, 114-140 (2022). Reviewer: Jaak Henno (Tallinn) MSC: 94A60 08A70 08A60 08A62 × Cite Format Result Cite Review PDF Full Text: DOI
Antić, Christian Analogical proportions. (English) Zbl 1490.68175 Ann. Math. Artif. Intell. 90, No. 6, 595-644 (2022). MSC: 68T01 08A70 68T27 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Couceiro, Miguel; Haddad, Lucien; Lagerkvist, Victor A survey on the fine-grained complexity of constraint satisfaction problems based on partial polymorphisms. (English) Zbl 1529.08019 J. Mult.-Val. Log. Soft Comput. 38, No. 1-2, 115-136 (2022). MSC: 08A70 08A40 08A55 68Q25 × Cite Format Result Cite Review PDF Full Text: Link
Idziak, Paweł M.; Krzaczkowski, Jacek Satisfiability in multivalued circuits. (English) Zbl 1547.68206 SIAM J. Comput. 51, No. 3, 337-378 (2022). MSC: 68Q06 08A70 08B10 68Q25 68R07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Gillibert, Pierre; Jonušas, Julius; Kompatscher, Michael; Mottet, Antoine; Pinsker, Michael When symmetries are not enough: a hierarchy of hard constraint satisfaction problems. (English) Zbl 1483.68141 SIAM J. Comput. 51, No. 2, 175-213 (2022). MSC: 68Q15 03C05 03C35 08A40 08A70 68R07 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Bergman, Clifford; Demeo, William Universal algebraic methods for constraint satisfaction problems. (English) Zbl 1547.68526 Log. Methods Comput. Sci. 18, No. 1, Paper No. 12, 37 p. (2022). MSC: 68R07 08A70 × Cite Format Result Cite Review PDF Full Text: arXiv Link
Brady, Zarathustra Notes on CSPs and Polymorphisms. arXiv:2210.07383 Preprint, arXiv:2210.07383 [math.RA] (2022). MSC: 08A70 × Cite Format Result Cite Full Text: arXiv OA License
Thornton, Riley An algebraic approach to Borel CSPs. arXiv:2203.16712 Preprint, arXiv:2203.16712 [math.LO] (2022). MSC: 03E15 08A70 × Cite Format Result Cite Full Text: arXiv OA License
Zhuk, Dmitriy No-rainbow problem and the surjective constraint satisfaction problem. (English) Zbl 07957053 Proceedings of the 2021 36th annual ACM/IEEE symposium on logic in computer science, LICS 2021, Rome, Italy, June 29 – July 2, 2021. Piscataway, NJ: IEEE Press. Article No. 57, 7 p. (2021). MSC: 68R07 08A70 68Q25 × Cite Format Result Cite Review PDF Full Text: DOI arXiv
Barto, Libor; Brady, Zarathustra; Bulatov, Andrei; Kozik, Marcin; Zhuk, Dmitriy Minimal Taylor algebras as a common framework for the three algebraic approaches to the CSP. (English) Zbl 07957050 Proceedings of the 2021 36th annual ACM/IEEE symposium on logic in computer science, LICS 2021, Rome, Italy, June 29 – July 2, 2021. Piscataway, NJ: IEEE Press. Article No. 54, 13 p. (2021). MSC: 08A70 × Cite Format Result Cite Review PDF Full Text: DOI
Mardare, Radu; Panangaden, Prakash; Plotkin, Gordon Fixed-points for quantitative equational logics. (English) Zbl 07957032 Proceedings of the 2021 36th annual ACM/IEEE symposium on logic in computer science, LICS 2021, Rome, Italy, June 29 – July 2, 2021. Piscataway, NJ: IEEE Press. Article No. 36, 13 p. (2021). MSC: 08B05 08A70 68Q87 90C40 × Cite Format Result Cite Review PDF Full Text: DOI arXiv