Kundu, Abhishek; Thangadurai, Murugan A study on the effect of driver section length on the flow field inside a two-dimensional closed-ended viscous shock tube: a numerical investigation. (English) Zbl 07649606 Eur. J. Mech., B, Fluids 98, 92-101 (2023). MSC: 76-XX PDF BibTeX XML Cite \textit{A. Kundu} and \textit{M. Thangadurai}, Eur. J. Mech., B, Fluids 98, 92--101 (2023; Zbl 07649606) Full Text: DOI OpenURL
Zhu, Zijin; Hu, Xiaoyan; Ni, Guoxi Radially symmetrical problems for compressible fluids with a high-resolution boundary condition. (English) Zbl 07646152 Adv. Appl. Math. Mech. 15, No. 2, 428-449 (2023). MSC: 65M08 76L05 76M12 76N15 PDF BibTeX XML Cite \textit{Z. Zhu} et al., Adv. Appl. Math. Mech. 15, No. 2, 428--449 (2023; Zbl 07646152) Full Text: DOI OpenURL
Friedman, Isaac; Riaño, Oscar; Roudenko, Svetlana; Son, Diana; Yang, Kai Well-posedness and dynamics of solutions to the generalized KdV with low power nonlinearity. (English) Zbl 07643215 Nonlinearity 36, No. 1, 584-635 (2023). MSC: 35Q53 35Q35 35B40 35B44 35A01 35A02 35C08 65M70 65N35 65L06 PDF BibTeX XML Cite \textit{I. Friedman} et al., Nonlinearity 36, No. 1, 584--635 (2023; Zbl 07643215) Full Text: DOI arXiv OpenURL
Lei, Nuo; Cheng, Juan; Shu, Chi-Wang A high order positivity-preserving polynomial projection remapping method. (English) Zbl 07640575 J. Comput. Phys. 474, Article ID 111826, 29 p. (2023). MSC: 65Mxx 76Mxx 35Lxx PDF BibTeX XML Cite \textit{N. Lei} et al., J. Comput. Phys. 474, Article ID 111826, 29 p. (2023; Zbl 07640575) Full Text: DOI OpenURL
Chui, Charles K. A diffusion + wavelet-window method for recovery of super-resolution point-masses with application to single-molecule microscopy and beyond. (English) Zbl 07639165 Appl. Comput. Harmon. Anal. 63, 1-19 (2023). MSC: 65-XX 92-XX PDF BibTeX XML Cite \textit{C. K. Chui}, Appl. Comput. Harmon. Anal. 63, 1--19 (2023; Zbl 07639165) Full Text: DOI OpenURL
De Marco, Gianluca; Kowalski, Dariusz R.; Stachowiak, Grzegorz Deterministic non-adaptive contention resolution on a shared channel. (English) Zbl 07639161 J. Comput. Syst. Sci. 133, 1-22 (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{G. De Marco} et al., J. Comput. Syst. Sci. 133, 1--22 (2023; Zbl 07639161) Full Text: DOI arXiv OpenURL
Maity, Sumit; Dolui, Sarabindu; Dwivedi, Sharad; Consolo, Giancarlo Domain wall dynamics in cubic magnetostrictive materials subject to Rashba effect and nonlinear dissipation. (English) Zbl 07638778 Z. Angew. Math. Phys. 74, No. 1, Paper No. 23, 23 p. (2023). MSC: 82D40 82D80 35C07 74F15 74E15 74M10 78A55 78A40 PDF BibTeX XML Cite \textit{S. Maity} et al., Z. Angew. Math. Phys. 74, No. 1, Paper No. 23, 23 p. (2023; Zbl 07638778) Full Text: DOI OpenURL
Aichholzer, Oswin; Korman, Matias; Okamoto, Yoshio; Parada, Irene; Perz, Daniel; van Renssen, André; Vogtenhuber, Birgit Graphs with large total angular resolution. (English) Zbl 07638586 Theor. Comput. Sci. 943, 73-88 (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{O. Aichholzer} et al., Theor. Comput. Sci. 943, 73--88 (2023; Zbl 07638586) Full Text: DOI OpenURL
Li, Peng; Li, Tingting; Don, Wai-Sun; Wang, Bao-Shan Scale-invariant multi-resolution alternative WENO scheme for the Euler equations. (English) Zbl 07637335 J. Sci. Comput. 94, No. 1, Paper No. 15, 32 p. (2023). MSC: 65N06 65L06 35L65 76N10 35Q31 86A05 86A10 PDF BibTeX XML Cite \textit{P. Li} et al., J. Sci. Comput. 94, No. 1, Paper No. 15, 32 p. (2023; Zbl 07637335) Full Text: DOI OpenURL
Englman, R.; Yahalom, A. Lindbladian-induced alignment in quantum measurements. (English) Zbl 07636764 Found. Phys. 53, No. 1, Paper No. 19, 12 p. (2023). MSC: 81Pxx 00Axx 00Bxx PDF BibTeX XML Cite \textit{R. Englman} and \textit{A. Yahalom}, Found. Phys. 53, No. 1, Paper No. 19, 12 p. (2023; Zbl 07636764) Full Text: DOI OpenURL
Kartas, Konstantinos Diophantine problems over tamely ramified fields. (English) Zbl 07635013 J. Algebra 617, 127-159 (2023). MSC: 20-XX 16-XX PDF BibTeX XML Cite \textit{K. Kartas}, J. Algebra 617, 127--159 (2023; Zbl 07635013) Full Text: DOI arXiv OpenURL
Roßkopf, Simon; Nipkow, Tobias A formalization and proof checker for Isabelle’s metalogic. (English) Zbl 07634129 J. Autom. Reasoning 67, No. 1, Paper No. 1, 21 p. (2023). MSC: 68V15 03B35 68V20 PDF BibTeX XML Cite \textit{S. Roßkopf} and \textit{T. Nipkow}, J. Autom. Reasoning 67, No. 1, Paper No. 1, 21 p. (2023; Zbl 07634129) Full Text: DOI OpenURL
Wu, Nannan; Xu, Yejun; Kilgour, D. Marc; Fang, Liping The graph model for composite decision makers and its application to a water resource conflict. (English) Zbl 07633835 Eur. J. Oper. Res. 306, No. 1, 308-321 (2023). MSC: 90Bxx PDF BibTeX XML Cite \textit{N. Wu} et al., Eur. J. Oper. Res. 306, No. 1, 308--321 (2023; Zbl 07633835) Full Text: DOI OpenURL
Cho, Yunhyung; Kim, Yoosik; Lee, Eunjeong; Park, Kyeong-Dong Small toric resolutions of toric varieties of string polytopes with small indices. (English) Zbl 07630996 Commun. Contemp. Math. 25, No. 1, Article ID 2150112, 56 p. (2023). MSC: 14M15 14M25 14E15 52B20 53D37 PDF BibTeX XML Cite \textit{Y. Cho} et al., Commun. Contemp. Math. 25, No. 1, Article ID 2150112, 56 p. (2023; Zbl 07630996) Full Text: DOI arXiv OpenURL
Fan, Haitao; Shu, Chi-Wang High order numerical methods for flows with hysteretic fluxes. (English) Zbl 07630332 Appl. Numer. Math. 184, 234-252 (2023). Reviewer: Bülent Karasözen (Ankara) MSC: 65M06 65N06 65L06 90B20 76S05 76T06 76L05 35Q90 35Q35 PDF BibTeX XML Cite \textit{H. Fan} and \textit{C.-W. Shu}, Appl. Numer. Math. 184, 234--252 (2023; Zbl 07630332) Full Text: DOI OpenURL
Benito, Angelica; Faber, Eleonore; Mourtada, Hussein; Schober, Bernd Classification of singularities of cluster algebras of finite type: the case of trivial coefficients. (English) Zbl 07629522 Glasg. Math. J. 65, No. 1, 170-204 (2023). MSC: 13F60 14B05 14E15 14J17 PDF BibTeX XML Cite \textit{A. Benito} et al., Glasg. Math. J. 65, No. 1, 170--204 (2023; Zbl 07629522) Full Text: DOI arXiv OpenURL
Imaz, Gonzalo E. The possibilistic Horn non-clausal knowledge bases. (English) Zbl 07629312 Int. J. Approx. Reasoning 152, 357-389 (2023). MSC: 68T37 PDF BibTeX XML Cite \textit{G. E. Imaz}, Int. J. Approx. Reasoning 152, 357--389 (2023; Zbl 07629312) Full Text: DOI arXiv OpenURL
Gagnon, Philippe; Hayashi, Yoshiko Theoretical properties of Bayesian Student-\(t\) linear regression. (English) Zbl 07629075 Stat. Probab. Lett. 193, Article ID 109693, 8 p. (2023). MSC: 62J05 62F15 PDF BibTeX XML Cite \textit{P. Gagnon} and \textit{Y. Hayashi}, Stat. Probab. Lett. 193, Article ID 109693, 8 p. (2023; Zbl 07629075) Full Text: DOI arXiv OpenURL
Ma, Xin; Zhao, Tiwei; Zhuang, Xin Resolving subcategories and dimensions in recollements of extriangulated categories. (English) Zbl 07625951 Bull. Malays. Math. Sci. Soc. (2) 46, No. 1, Paper No. 36, 24 p. (2023). MSC: 18G20 18G10 PDF BibTeX XML Cite \textit{X. Ma} et al., Bull. Malays. Math. Sci. Soc. (2) 46, No. 1, Paper No. 36, 24 p. (2023; Zbl 07625951) Full Text: DOI arXiv OpenURL
Gu, Xiaolu; Li, Yue; Cheng, Juan; Shu, Chi-Wang A high order positivity-preserving conservative WENO remapping method based on a moving mesh solver. (English) Zbl 07625423 J. Comput. Phys. 473, Article ID 111754, 25 p. (2023). MSC: 65Mxx 76Mxx 76Nxx PDF BibTeX XML Cite \textit{X. Gu} et al., J. Comput. Phys. 473, Article ID 111754, 25 p. (2023; Zbl 07625423) Full Text: DOI OpenURL
Ficarra, Antonino Vector-spread monomial ideals and Eliahou-Kervaire type resolutions. (English) Zbl 07622331 J. Algebra 615, 170-204 (2023). MSC: 13B25 13D02 05E40 16W50 68W30 PDF BibTeX XML Cite \textit{A. Ficarra}, J. Algebra 615, 170--204 (2023; Zbl 07622331) Full Text: DOI arXiv OpenURL
Huang, Yuming; Ge, Bingfeng; Hipel, Keith W.; Fang, Liping; Zhao, Bin; Yang, Kewei Solving the inverse graph model for conflict resolution using a hybrid metaheuristic algorithm. (English) Zbl 07619286 Eur. J. Oper. Res. 305, No. 2, 806-819 (2023). MSC: 90Bxx PDF BibTeX XML Cite \textit{Y. Huang} et al., Eur. J. Oper. Res. 305, No. 2, 806--819 (2023; Zbl 07619286) Full Text: DOI OpenURL
Huo, Zhixin; Li, Jiequan A GRP-based high resolution ghost fluid method for compressible multi-medium fluid flows. I: One-dimensional case. (English) Zbl 07617923 Appl. Math. Comput. 437, Article ID 127506, 30 p. (2023). MSC: 76Mxx 76Nxx 65Mxx PDF BibTeX XML Cite \textit{Z. Huo} and \textit{J. Li}, Appl. Math. Comput. 437, Article ID 127506, 30 p. (2023; Zbl 07617923) Full Text: DOI OpenURL
Alberich-Carramiñana, Maria; Guàrdia, Jordi; Nart, Enric; Roé, Joaquim Valuative trees over valued fields. (English) Zbl 07615765 J. Algebra 614, 71-114 (2023). MSC: 13A18 12J20 13J10 14E15 PDF BibTeX XML Cite \textit{M. Alberich-Carramiñana} et al., J. Algebra 614, 71--114 (2023; Zbl 07615765) Full Text: DOI arXiv OpenURL
Hetzl, Stefan; Vierling, Jannik Induction and Skolemization in saturation theorem proving. (English) Zbl 07601550 Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023). MSC: 03F30 68V15 03B70 03H15 PDF BibTeX XML Cite \textit{S. Hetzl} and \textit{J. Vierling}, Ann. Pure Appl. Logic 174, No. 1, Article ID 103167, 37 p. (2023; Zbl 07601550) Full Text: DOI arXiv OpenURL
Galesi, Nicola; Itsykson, Dmitry; Riazanov, Artur; Sofronova, Anastasia Bounded-depth Frege complexity of Tseitin formulas for all graphs. (English) Zbl 07601549 Ann. Pure Appl. Logic 174, No. 1, Article ID 103166, 23 p. (2023). MSC: 03F20 03B05 05C83 68Q27 PDF BibTeX XML Cite \textit{N. Galesi} et al., Ann. Pure Appl. Logic 174, No. 1, Article ID 103166, 23 p. (2023; Zbl 07601549) Full Text: DOI OpenURL
Bai, Mengxue; Zhang, Jian; Zhu, Shihui Small solitons and multisolitons in the generalized Davey-Stewartson system. (English) Zbl 1498.35413 Adv. Nonlinear Anal. 12, Article ID 20220266, 41 p. (2023). MSC: 35Q35 76W05 35B65 35C08 35A15 49M41 PDF BibTeX XML Cite \textit{M. Bai} et al., Adv. Nonlinear Anal. 12, Article ID 20220266, 41 p. (2023; Zbl 1498.35413) Full Text: DOI OpenURL
Shallit, Jeffrey The logical approach to automatic sequences. Exploring combinatorics on words with Walnut. (English) Zbl 07565707 London Mathematical Society Lecture Note Series 482. Cambridge: Cambridge University Press (ISBN 978-1-108-74524-6/pbk; 978-1-108-77526-7/ebook). xvi, 358 p. (2023). MSC: 68-02 11B85 68R15 68V15 PDF BibTeX XML Cite \textit{J. Shallit}, The logical approach to automatic sequences. Exploring combinatorics on words with Walnut. Cambridge: Cambridge University Press (2023; Zbl 07565707) Full Text: DOI OpenURL
Gao, Lisa; Shi, Peng Leveraging high-resolution weather information to predict hail damage claims: a spatial point process for replicated point patterns. (English) Zbl 07648740 Insur. Math. Econ. 107, 161-179 (2022). MSC: 91G05 PDF BibTeX XML Cite \textit{L. Gao} and \textit{P. Shi}, Insur. Math. Econ. 107, 161--179 (2022; Zbl 07648740) Full Text: DOI OpenURL
Chen, Zhuo Preference for hope: a behavioral definition. (English) Zbl 07647124 Econ. Lett. 221, Article ID 110920, 3 p. (2022). MSC: 91B08 PDF BibTeX XML Cite \textit{Z. Chen}, Econ. Lett. 221, Article ID 110920, 3 p. (2022; Zbl 07647124) Full Text: DOI OpenURL
Gitik, Rita Duality systems of groups and \(\text{PD}(n)\)-systems of groups. (English) Zbl 07635916 J. Topol. Anal. 14, No. 4, 933-944 (2022). MSC: 20J05 20J06 57N35 18G10 18G35 PDF BibTeX XML Cite \textit{R. Gitik}, J. Topol. Anal. 14, No. 4, 933--944 (2022; Zbl 07635916) Full Text: DOI OpenURL
Idriss, El Mourabit; Laghrib, Amine; Hadri, Aissam; Hakim, Abdelilah A theoretical study of a bilateral term with a tensor-based fourth-order PDE for image super-resolution. (English) Zbl 07634933 Adv. Comput. Math. 48, No. 6, Paper No. 83, 32 p. (2022). MSC: 65K10 90C26 68U10 PDF BibTeX XML Cite \textit{E. M. Idriss} et al., Adv. Comput. Math. 48, No. 6, Paper No. 83, 32 p. (2022; Zbl 07634933) Full Text: DOI OpenURL
Gandini, Francesca Resolutions of ideals of subspace arrangements. (English) Zbl 07634460 J. Commut. Algebra 14, No. 3, 319-338 (2022). MSC: 13D02 13P20 16E05 20C32 PDF BibTeX XML Cite \textit{F. Gandini}, J. Commut. Algebra 14, No. 3, 319--338 (2022; Zbl 07634460) Full Text: DOI arXiv Link OpenURL
Güntürk, C. Sinan; Li, Weilin Quantization for spectral super-resolution. (English) Zbl 07634051 Constr. Approx. 56, No. 3, 619-648 (2022). MSC: 94A12 94A20 PDF BibTeX XML Cite \textit{C. S. Güntürk} and \textit{W. Li}, Constr. Approx. 56, No. 3, 619--648 (2022; Zbl 07634051) Full Text: DOI arXiv OpenURL
Cibotaru, Daniel; Pereira, Wanderley Nontame Morse-Smale flows and odd Chern-Weil theory. (English) Zbl 07632802 Can. J. Math. 74, No. 6, 1579-1624 (2022). MSC: 58A25 49Q15 53C05 PDF BibTeX XML Cite \textit{D. Cibotaru} and \textit{W. Pereira}, Can. J. Math. 74, No. 6, 1579--1624 (2022; Zbl 07632802) Full Text: DOI arXiv OpenURL
Fu, Lin; Liang, Tian A new adaptation strategy for multi-resolution method. (English) Zbl 07632592 J. Sci. Comput. 93, No. 2, Paper No. 43, 28 p. (2022). MSC: 65M08 65L06 65M06 65N08 65T60 65N50 76B03 76N10 76M12 76M20 35L65 35L67 35Q31 PDF BibTeX XML Cite \textit{L. Fu} and \textit{T. Liang}, J. Sci. Comput. 93, No. 2, Paper No. 43, 28 p. (2022; Zbl 07632592) Full Text: DOI OpenURL
Papacchini, Fabio; Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare Correction to: “Local is best: efficient reductions to modal logic K”. (English) Zbl 07632101 J. Autom. Reasoning 66, No. 4, 1099 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Papacchini} et al., J. Autom. Reasoning 66, No. 4, 1099 (2022; Zbl 07632101) Full Text: DOI OpenURL
Divasón, Jose; Thiemann, René Correction to: “A formalization of the Smith normal form in higher-order logic”. (English) Zbl 07632100 J. Autom. Reasoning 66, No. 4, 1097 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Divasón} and \textit{R. Thiemann}, J. Autom. Reasoning 66, No. 4, 1097 (2022; Zbl 07632100) Full Text: DOI OpenURL
Divasón, Jose; Thiemann, René A formalization of the Smith normal form in higher-order logic. (English) Zbl 07632099 J. Autom. Reasoning 66, No. 4, 1065-1095 (2022); correction ibid. 66, No. 4, 1097 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Divasón} and \textit{R. Thiemann}, J. Autom. Reasoning 66, No. 4, 1065--1095 (2022; Zbl 07632099) Full Text: DOI OpenURL
Ramos, Thiago Mendonça Ferreira; Almeida, Ariane Alves; Ayala-Rincón, Mauricio Formalization of the computational theory of a Turing complete functional language model. (English) Zbl 07632098 J. Autom. Reasoning 66, No. 4, 1031-1063 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{T. M. F. Ramos} et al., J. Autom. Reasoning 66, No. 4, 1031--1063 (2022; Zbl 07632098) Full Text: DOI OpenURL
Ricciotti, Wilmer; Cheney, James A formalization of SQL with nulls. (English) Zbl 07632097 J. Autom. Reasoning 66, No. 4, 989-1030 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{W. Ricciotti} and \textit{J. Cheney}, J. Autom. Reasoning 66, No. 4, 989--1030 (2022; Zbl 07632097) Full Text: DOI arXiv OpenURL
Schmoetten, Richard; Palmer, Jake E.; Fleuriot, Jacques D. Towards formalising Schutz’ axioms for Minkowski spacetime in Isabelle/HOL. (English) Zbl 07632096 J. Autom. Reasoning 66, No. 4, 953-988 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{R. Schmoetten} et al., J. Autom. Reasoning 66, No. 4, 953--988 (2022; Zbl 07632096) Full Text: DOI arXiv OpenURL
Soldevila, Mallku; Ziliani, Beta; Silvestre, Bruno From specification to testing: semantics engineering for Lua 5.2. (English) Zbl 07632095 J. Autom. Reasoning 66, No. 4, 905-952 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Soldevila} et al., J. Autom. Reasoning 66, No. 4, 905--952 (2022; Zbl 07632095) Full Text: DOI OpenURL
Macedo, Nuno; Brunel, Julien; Chemouil, David; Cunha, Alcino Pardinus: a temporal relational model finder. (English) Zbl 07632094 J. Autom. Reasoning 66, No. 4, 861-904 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{N. Macedo} et al., J. Autom. Reasoning 66, No. 4, 861--904 (2022; Zbl 07632094) Full Text: DOI OpenURL
de Champeaux, Dennis Faster linear unification algorithm. (English) Zbl 07632093 J. Autom. Reasoning 66, No. 4, 845-860 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{D. de Champeaux}, J. Autom. Reasoning 66, No. 4, 845--860 (2022; Zbl 07632093) Full Text: DOI OpenURL
Meyers, Joshua; Spivak, David I.; Wisnesky, Ryan Fast left Kan extensions using the chase. (English) Zbl 07632092 J. Autom. Reasoning 66, No. 4, 805-844 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Meyers} et al., J. Autom. Reasoning 66, No. 4, 805--844 (2022; Zbl 07632092) Full Text: DOI arXiv OpenURL
Pearce, David J.; Utting, Mark; Groves, Lindsay Verifying Whiley programs with Boogie. (English) Zbl 07632091 J. Autom. Reasoning 66, No. 4, 747-803 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{D. J. Pearce} et al., J. Autom. Reasoning 66, No. 4, 747--803 (2022; Zbl 07632091) Full Text: DOI OpenURL
Janičić, Predrag; Narboux, Julien Theorem proving as constraint solving with coherent logic. (English) Zbl 07632090 J. Autom. Reasoning 66, No. 4, 689-746 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{P. Janičić} and \textit{J. Narboux}, J. Autom. Reasoning 66, No. 4, 689--746 (2022; Zbl 07632090) Full Text: DOI OpenURL
Yamada, Akihisa Tuple interpretations for termination of term rewriting. (English) Zbl 07632089 J. Autom. Reasoning 66, No. 4, 667-688 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Yamada}, J. Autom. Reasoning 66, No. 4, 667--688 (2022; Zbl 07632089) Full Text: DOI OpenURL
Papacchini, Fabio; Nalon, Cláudia; Hustadt, Ullrich; Dixon, Clare Local is best: efficient reductions to modal logic K. (English) Zbl 07632088 J. Autom. Reasoning 66, No. 4, 639-666 (2022); correction ibid. 66, No. 4, 1099 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Papacchini} et al., J. Autom. Reasoning 66, No. 4, 639--666 (2022; Zbl 07632088) Full Text: DOI OpenURL
Baanen, Anne; Dahmen, Sander R.; Narayanan, Ashvni; Nuccio Mortarino Majno di Capriglio, Filippo A. E. A formalization of Dedekind domains and class groups of global fields. (English) Zbl 07632087 J. Autom. Reasoning 66, No. 4, 611-637 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Baanen} et al., J. Autom. Reasoning 66, No. 4, 611--637 (2022; Zbl 07632087) Full Text: DOI arXiv OpenURL
Lochbihler, Andreas A mechanized proof of the max-flow min-cut theorem for countable networks with applications to probability theory. (English) Zbl 07632086 J. Autom. Reasoning 66, No. 4, 585-610 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Lochbihler}, J. Autom. Reasoning 66, No. 4, 585--610 (2022; Zbl 07632086) Full Text: DOI OpenURL
Tourret, Sophie; Weidenbach, Christoph A posthumous contribution by Larry Wos: excerpts from an unpublished column. (English) Zbl 07632085 J. Autom. Reasoning 66, No. 4, 575-584 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Tourret} and \textit{C. Weidenbach}, J. Autom. Reasoning 66, No. 4, 575--584 (2022; Zbl 07632085) Full Text: DOI OpenURL
Veroff, Robert A Wos Challenge Met. (English) Zbl 07632084 J. Autom. Reasoning 66, No. 4, 565-574 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{R. Veroff}, J. Autom. Reasoning 66, No. 4, 565--574 (2022; Zbl 07632084) Full Text: DOI OpenURL
Vukmirović, Petar; Bentkamp, Alexander; Blanchette, Jasmin; Cruanes, Simon; Nummelin, Visa; Tourret, Sophie Making higher-order superposition work. (English) Zbl 07632083 J. Autom. Reasoning 66, No. 4, 541-564 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{P. Vukmirović} et al., J. Autom. Reasoning 66, No. 4, 541--564 (2022; Zbl 07632083) Full Text: DOI OpenURL
Waldmann, Uwe; Tourret, Sophie; Robillard, Simon; Blanchette, Jasmin A comprehensive framework for saturation theorem proving. (English) Zbl 07632082 J. Autom. Reasoning 66, No. 4, 499-539 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{U. Waldmann} et al., J. Autom. Reasoning 66, No. 4, 499--539 (2022; Zbl 07632082) Full Text: DOI OpenURL
Bonacina, Maria Paola Set of support, demodulation, paramodulation: a historical perspective. (English) Zbl 07632081 J. Autom. Reasoning 66, No. 4, 463-497 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. P. Bonacina}, J. Autom. Reasoning 66, No. 4, 463--497 (2022; Zbl 07632081) Full Text: DOI OpenURL
Beeson, Michael; Bonacina, Maria Paola; Kinyon, Michael; Sutcliffe, Geoff Larry Wos: visions of automated reasoning. (English) Zbl 07632080 J. Autom. Reasoning 66, No. 4, 439-461 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Beeson} et al., J. Autom. Reasoning 66, No. 4, 439--461 (2022; Zbl 07632080) Full Text: DOI OpenURL
Bonacina, Maria Paola (ed.) Six decades of automated reasoning: papers in memory of Larry Wos. Foreword. (English) Zbl 07632079 J. Autom. Reasoning 66, No. 4, 437-438 (2022). MSC: 00Bxx 68V15 PDF BibTeX XML Cite \textit{M. P. Bonacina} (ed.), J. Autom. Reasoning 66, No. 4, 437--438 (2022; Zbl 07632079) Full Text: DOI OpenURL
Yang, Yiling; Fan, Engui Long-time asymptotic behavior for the derivative Schrödinger equation with finite density type initial data. (English) Zbl 07629812 Chin. Ann. Math., Ser. B 43, No. 6, 893-948 (2022). MSC: 35Q51 35Q15 37K15 35C20 41A60 35B40 35B35 PDF BibTeX XML Cite \textit{Y. Yang} and \textit{E. Fan}, Chin. Ann. Math., Ser. B 43, No. 6, 893--948 (2022; Zbl 07629812) Full Text: DOI OpenURL
Alhussein, Hassan The Hochschild cohomology of the Chinese monoid algebra. (English) Zbl 07629737 Algebra Colloq. 29, No. 4, 619-632 (2022). Reviewer: Lleonard Rubio y Degrassi (Verona) MSC: 16E40 16E10 19D55 18G20 PDF BibTeX XML Cite \textit{H. Alhussein}, Algebra Colloq. 29, No. 4, 619--632 (2022; Zbl 07629737) Full Text: DOI OpenURL
Ognjanović, Zoran; Perović, Aleksandar; Ilić-Stepić, Angelina Tableau for the logic ILP. (English) Zbl 07629112 Publ. Inst. Math., Nouv. Sér. 112(126), 1-11 (2022). MSC: 03B20 03B48 68V15 PDF BibTeX XML Cite \textit{Z. Ognjanović} et al., Publ. Inst. Math., Nouv. Sér. 112(126), 1--11 (2022; Zbl 07629112) Full Text: DOI OpenURL
Lommen, Nils; Meyer, Fabian; Giesl, Jürgen Automatic complexity analysis of integer programs via triangular weakly non-linear loops. (English) Zbl 07628219 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 734-754 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{N. Lommen} et al., Lect. Notes Comput. Sci. 13385, 734--754 (2022; Zbl 07628219) Full Text: DOI arXiv OpenURL
Gallicchio, James; Tan, Yong Kiam; Mitsch, Stefan; Platzer, André Implicit definitions with differential equations for KeYmaera X (system description). (English) Zbl 07628218 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 723-733 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Gallicchio} et al., Lect. Notes Comput. Sci. 13385, 723--733 (2022; Zbl 07628218) Full Text: DOI arXiv OpenURL
Frohn, Florian; Giesl, Jürgen Proving non-termination and lower runtime bounds with LoAT (system description). (English) Zbl 07628217 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 712-722 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Frohn} and \textit{J. Giesl}, Lect. Notes Comput. Sci. 13385, 712--722 (2022; Zbl 07628217) Full Text: DOI OpenURL
Bozga, Marius; Bueri, Lucas; Iosif, Radu Decision problems in a logic for reasoning about reconfigurable distributed systems. (English) Zbl 07628216 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 691-711 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Bozga} et al., Lect. Notes Comput. Sci. 13385, 691--711 (2022; Zbl 07628216) Full Text: DOI arXiv OpenURL
Akshay, S.; Chakraborty, Supratik; Pal, Debtanu On eventual non-negativity and positivity for the weighted sum of powers of matrices. (English) Zbl 07628215 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 671-690 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{S. Akshay} et al., Lect. Notes Comput. Sci. 13385, 671--690 (2022; Zbl 07628215) Full Text: DOI arXiv OpenURL
Suda, Martin Vampire getting noisy: Will random bits help conquer chaos? (system description). (English) Zbl 07628214 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 659-667 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Suda}, Lect. Notes Comput. Sci. 13385, 659--667 (2022; Zbl 07628214) Full Text: DOI OpenURL
Greati, Vitor; Marcos, João Finite two-dimensional proof systems for non-finitely axiomatizable logics. (English) Zbl 07628213 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 640-658 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{V. Greati} and \textit{J. Marcos}, Lect. Notes Comput. Sci. 13385, 640--658 (2022; Zbl 07628213) Full Text: DOI arXiv OpenURL
Popescu, Andrei Rensets and renaming-based recursion for syntax with bindings. (English) Zbl 07628212 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 618-639 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Popescu}, Lect. Notes Comput. Sci. 13385, 618--639 (2022; Zbl 07628212) Full Text: DOI arXiv OpenURL
Piepenbrock, Jelle; Heskes, Tom; Janota, Mikoláš; Urban, Josef Guiding an automated theorem prover with neural rewriting. (English) Zbl 07628211 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 597-617 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Piepenbrock} et al., Lect. Notes Comput. Sci. 13385, 597--617 (2022; Zbl 07628211) Full Text: DOI OpenURL
Kutsia, Temur; Pau, Cleo A framework for approximate generalization in quantitative theories. (English) Zbl 07628210 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 578-596 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{T. Kutsia} and \textit{C. Pau}, Lect. Notes Comput. Sci. 13385, 578--596 (2022; Zbl 07628210) Full Text: DOI OpenURL
Mangla, Chaitanya; Holden, Sean B.; Paulson, Lawrence C. Bayesian ranking for strategy scheduling in automated theorem provers. (English) Zbl 07628209 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 559-577 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{C. Mangla} et al., Lect. Notes Comput. Sci. 13385, 559--577 (2022; Zbl 07628209) Full Text: DOI OpenURL
Indrzejczak, Andrzej Leśniewski’s ontology – proof-theoretic characterization. (English) Zbl 07628208 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 541-558 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Indrzejczak}, Lect. Notes Comput. Sci. 13385, 541--558 (2022; Zbl 07628208) Full Text: DOI OpenURL
Durán, Francisco; Eker, Steven; Escobar, Santiago; Martí-Oliet, Narciso; Meseguer, José; Rubio, Rubén; Talcott, Carolyn Equational unification and matching, and symbolic reachability analysis in Maude 3.2 (system description). (English) Zbl 07628207 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 529-540 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Durán} et al., Lect. Notes Comput. Sci. 13385, 529--540 (2022; Zbl 07628207) Full Text: DOI OpenURL
Das, Anupam; Girlando, Marianna Cyclic proofs, hypersequents, and transitive closure logic. (English) Zbl 07628206 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 509-528 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Das} and \textit{M. Girlando}, Lect. Notes Comput. Sci. 13385, 509--528 (2022; Zbl 07628206) Full Text: DOI arXiv OpenURL
Nalon, Cláudia; Hustadt, Ullrich; Papacchini, Fabio; Dixon, Clare Local reductions for the modal cube. (English) Zbl 07628205 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 486-505 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{C. Nalon} et al., Lect. Notes Comput. Sci. 13385, 486--505 (2022; Zbl 07628205) Full Text: DOI OpenURL
Lahav, Ori; Zohar, Yoni Effective semantics for the modal logics K and KT via non-deterministic matrices. (English) Zbl 07628204 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 468-485 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{O. Lahav} and \textit{Y. Zohar}, Lect. Notes Comput. Sci. 13385, 468--485 (2022; Zbl 07628204) Full Text: DOI OpenURL
Blaisdell, Eben; Kanovich, Max; Kuznetsov, Stepan L.; Pimentel, Elaine; Scedrov, Andre Non-associative, non-commutative multi-modal linear logic. (English) Zbl 07628203 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 449-467 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{E. Blaisdell} et al., Lect. Notes Comput. Sci. 13385, 449--467 (2022; Zbl 07628203) Full Text: DOI OpenURL
Bílková, Marta; Frittella, Sabine; Kozhemiachenko, Daniil Paraconsistent Gödel modal logic. (English) Zbl 07628202 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 429-448 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Bílková} et al., Lect. Notes Comput. Sci. 13385, 429--448 (2022; Zbl 07628202) Full Text: DOI arXiv OpenURL
Sochański, Michał; Leszczyńska-Jasion, Dorota; Chlebowski, Szymon; Tomczyk, Agata; Jukiewicz, Marcin Synthetic tableaux: Minimal tableau search heuristics. (English) Zbl 07628201 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 407-425 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Sochański} et al., Lect. Notes Comput. Sci. 13385, 407--425 (2022; Zbl 07628201) Full Text: DOI OpenURL
Matsuzaki, Takuya; Fujita, Tomohiro Formula simplification via invariance detection by algebraically indexed types. (English) Zbl 07628200 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 388-406 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{T. Matsuzaki} and \textit{T. Fujita}, Lect. Notes Comput. Sci. 13385, 388--406 (2022; Zbl 07628200) Full Text: DOI OpenURL
Holub, Štěpán; Raška, Martin; Starosta, Štěpán Binary codes that do not preserve primitivity. (English) Zbl 07628199 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 369-387 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{Š. Holub} et al., Lect. Notes Comput. Sci. 13385, 369--387 (2022; Zbl 07628199) Full Text: DOI arXiv OpenURL
Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Goéland: a concurrent tableau-based theorem prover (system description). (English) Zbl 07628198 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 359-368 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Cailler} et al., Lect. Notes Comput. Sci. 13385, 359--368 (2022; Zbl 07628198) Full Text: DOI OpenURL
Brown, Chad E.; Kaliszyk, Cezary Lash 1.0 (system description). (English) Zbl 07628197 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 350-358 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{C. E. Brown} and \textit{C. Kaliszyk}, Lect. Notes Comput. Sci. 13385, 350--358 (2022; Zbl 07628197) Full Text: DOI arXiv OpenURL
Bernreiter, Michael; Lolic, Anela; Maly, Jan; Woltran, Stefan Sequent calculi for choice logics. (English) Zbl 07628196 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 331-349 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Bernreiter} et al., Lect. Notes Comput. Sci. 13385, 331--349 (2022; Zbl 07628196) Full Text: DOI OpenURL
Yang, Hui; Ma, Yue; Bidoit, Nicole Hypergraph-based inference rules for computing \(\mathcal{EL}^+\)-ontology justifications. (English) Zbl 07628195 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 310-328 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{H. Yang} et al., Lect. Notes Comput. Sci. 13385, 310--328 (2022; Zbl 07628195) Full Text: DOI OpenURL
Tammet, Tanel; Draheim, Dirk; Järv, Priit GK: implementing full first order default logic for commonsense reasoning (system description). (English) Zbl 07628194 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 300-309 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{T. Tammet} et al., Lect. Notes Comput. Sci. 13385, 300--309 (2022; Zbl 07628194) Full Text: DOI OpenURL
Cauli, Claudia; Ortiz, Magdalena; Piterman, Nir Actions over core-closed knowledge bases. (English) Zbl 07628193 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 281-299 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{C. Cauli} et al., Lect. Notes Comput. Sci. 13385, 281--299 (2022; Zbl 07628193) Full Text: DOI arXiv OpenURL
Alrabbaa, Christian; Baader, Franz; Borgwardt, Stefan; Dachselt, Raimund; Koopmann, Patrick; Méndez, Julián Evonne: interactive proof visualization for description logics (system description). (English) Zbl 07628192 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 271-280 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{C. Alrabbaa} et al., Lect. Notes Comput. Sci. 13385, 271--280 (2022; Zbl 07628192) Full Text: DOI arXiv OpenURL
Yamada, Akihisa Term orderings for non-reachability of (conditional) rewriting. (English) Zbl 07628191 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 248-267 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Yamada}, Lect. Notes Comput. Sci. 13385, 248--267 (2022; Zbl 07628191) Full Text: DOI OpenURL
Leidinger, Hendrik; Weidenbach, Christoph SCL(EQ): SCL for first-order logic with equality. (English) Zbl 07628190 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 228-247 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{H. Leidinger} and \textit{C. Weidenbach}, Lect. Notes Comput. Sci. 13385, 228--247 (2022; Zbl 07628190) Full Text: DOI arXiv OpenURL
Haifani, Fajar; Weidenbach, Christoph Semantic relevance. (English) Zbl 07628189 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 208-227 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Haifani} and \textit{C. Weidenbach}, Lect. Notes Comput. Sci. 13385, 208--227 (2022; Zbl 07628189) Full Text: DOI OpenURL
Haifani, Fajar; Koopmann, Patrick; Tourret, Sophie; Weidenbach, Christoph Connection-minimal abduction in \(\mathcal{EL}\) via translation to FOL. (English) Zbl 07628188 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 188-207 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{F. Haifani} et al., Lect. Notes Comput. Sci. 13385, 188--207 (2022; Zbl 07628188) Full Text: DOI arXiv OpenURL
Duarte, André; Korovin, Konstantin Ground joinability and connectedness in the superposition calculus. (English) Zbl 07628187 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 169-187 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{A. Duarte} and \textit{K. Korovin}, Lect. Notes Comput. Sci. 13385, 169--187 (2022; Zbl 07628187) Full Text: DOI OpenURL
Bromberger, Martin; Leutgeb, Lorenz; Weidenbach, Christoph An efficient subsumption test pipeline for BS(LRA) clauses. (English) Zbl 07628186 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 147-168 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Bromberger} et al., Lect. Notes Comput. Sci. 13385, 147--168 (2022; Zbl 07628186) Full Text: DOI OpenURL
Sheng, Ying; Nötzli, Andres; Reynolds, Andrew; Zohar, Yoni; Dill, David; Grieskamp, Wolfgang; Park, Junkil; Qadeer, Shaz; Barrett, Clark; Tinelli, Cesare Reasoning about vectors using an SMT theory of sequences. (English) Zbl 07628185 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 125-143 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{Y. Sheng} et al., Lect. Notes Comput. Sci. 13385, 125--143 (2022; Zbl 07628185) Full Text: DOI arXiv OpenURL
Reeves, Joseph E.; Heule, Marijn J. H.; Bryant, Randal E. Preprocessing of propagation redundant clauses. (English) Zbl 07628184 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 106-124 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. E. Reeves} et al., Lect. Notes Comput. Sci. 13385, 106--124 (2022; Zbl 07628184) Full Text: DOI OpenURL
Kremer, Gereon; Reynolds, Andrew; Barrett, Clark; Tinelli, Cesare Cooperating techniques for solving nonlinear real arithmetic in the cvc5 SMT solver (system description). (English) Zbl 07628183 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 95-105 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{G. Kremer} et al., Lect. Notes Comput. Sci. 13385, 95--105 (2022; Zbl 07628183) Full Text: DOI OpenURL
Ihalainen, Hannes; Berg, Jeremias; Järvisalo, Matti Clause redundancy and preprocessing in maximum satisfiability. (English) Zbl 07628182 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 75-94 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{H. Ihalainen} et al., Lect. Notes Comput. Sci. 13385, 75--94 (2022; Zbl 07628182) Full Text: DOI OpenURL