User contributions for CorrectionBot

30 July 2025

• 14:4614:46, 30 July 2025 diff hist +26 On singularities in the quaternionic Burgers equation (Q2118370) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4614:46, 30 July 2025 diff hist +26 Statistical properties of eigenfunctions (Q2118366) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4614:46, 30 July 2025 diff hist +26 Special issue in honour of Alexander Shnirelman's 75th birthday (Q2118365) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4614:46, 30 July 2025 diff hist +26 Correction to: ``The McCoy property in Ohm-Rush algebras'' (Q2118364) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4614:46, 30 July 2025 diff hist +26 Higher order \(z\)-ideals of special rings (Q2118360) ‎Changed label, description and/or aliases in en, and other parts
• 14:4614:46, 30 July 2025 diff hist +26 Some properties of rational conic fibrations (Q2118357) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 The classification of convex polygons with triangular area or perimeter bisecting deltoids (Q2118355) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 Topology of the tropical moduli spaces \(\Delta_{2,n}\) (Q2118354) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 Convexity limit angles for isoptics (Q2118353) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 On Bach almost solitons (Q2118352) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Constructing partial geometries from overlarge sets of Steiner systems (Q2118350) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 Logical cryptanalysis with WDSat (Q2118349) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 DQBDD: an efficient BDD-based DQBF solver (Q2118347) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Scalable SAT solving in the cloud (Q2118345) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Certified DQBF solving by definition extraction (Q2118343) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 A proof builder for Max-SAT (Q2118341) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Leveraging GPUs for effective clause sharing in parallel SAT solving (Q2118339) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 MedleySolver: online SMT algorithm selection (Q2118336) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 A fast algorithm for SAT in terms of formula length (Q2118334) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 XOR local search for Boolean Brent equations (Q2118332) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Proof complexity of symbolic QBF reasoning (Q2118330) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 The \textsc{MergeSat} solver (Q2118329) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Smt-Switch: a solver-agnostic C++ API for SMT solving (Q2118327) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 On the hierarchical community structure of practical Boolean formulas (Q2118321) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Scheduling reach mahjong tournaments using pseudoboolean constraints (Q2118316) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Efficient local search for pseudo Boolean optimization (Q2118314) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 On dedicated CDCL strategies for PB solvers (Q2118312) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Projection heuristics for binary branchings between sum and product (Q2118310) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Assessing progress in SAT solvers through the Lens of incremental SAT (Q2118309) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Investigating the existence of Costas Latin squares via satisfiability testing (Q2118308) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 SAT-based rigorous explanations for decision lists (Q2118305) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 DiMo -- discrete modelling using propositional logic (Q2118304) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Efficient SAT-based minimal model generation methods for modal logic S5 (Q2118302) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Chinese remainder encoding for Hamiltonian cycles (Q2118300) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 MCP: capturing big data by satisfiability (tool description) (Q2118299) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Solving non-uniform planted and filtered random SAT formulas greedily (Q2118298) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Efficient all-UIP learned clause minimization (Q2118297) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 ProCount: weighted projected model counting with graded project-join trees (Q2118296) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Weighted model counting without parameter variables (Q2118293) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Hardness and optimality in QBF proof systems modulo NP (Q2118289) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Hash-based preprocessing and inprocessing techniques in SAT solvers (Q2118288) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 Optimal strong convergence of finite element methods for one-dimensional stochastic elliptic equations with fractional noise (Q2113639) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 An interior point parameterized central path following algorithm for linearly constrained convex programming (Q2113635) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 One-parameter Galerkin finite element methods for neutral reaction-diffusion equations with piecewise continuous arguments (Q2113629) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 Superconvergence of MAC scheme for a coupled free flow-porous media system with heat transport on non-uniform grids (Q2113628) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 A nonconforming virtual element method for a fourth-order hemivariational inequality in Kirchhoff plate problem (Q2113627) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 A two-grid decoupled algorithm for a multi-dimensional Darcy-Brinkman fracture model (Q2113625) ‎Changed label, description and/or aliases in en, and other parts
• 14:4514:45, 30 July 2025 diff hist +26 Correction to: ``A Hardy-Ramanujan-type inequality for shifted primes and sifted sets'' (Q2113624) ‎Changed label, description and/or aliases in en, and other parts current
• 14:4514:45, 30 July 2025 diff hist +26 On the distribution of the digits in Lüroth expansions (Q2113623) ‎Changed label, description and/or aliases in en, and other parts current