User contributions for CorrectionBot

30 July 2025

• 14:5314:53, 30 July 2025 diff hist +26 SeaPearl: a constraint programming solver guided by reinforcement learning (Q2117242) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Learning to reduce state-expanded networks for multi-activity shift scheduling (Q2117239) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Short-term scheduling of production fleets in underground mines using CP-based LNS (Q2117237) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Finding subgraphs with side constraints (Q2117235) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Checking constraint satisfaction (Q2117234) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Logic-based benders decomposition for an inter-modal transportation problem (Q2117232) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Learning surrogate functions for the short-horizon planning in same-day delivery problems (Q2117229) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Injecting domain knowledge in neural networks: a controlled experiment on a constrained problem (Q2117227) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 On the usefulness of linear modular arithmetic in constraint programming (Q2117225) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5314:53, 30 July 2025 diff hist +26 Improving the filtering of branch-and-bound MDD solver (Q2117223) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Two deadline reduction algorithms for scheduling dependent tasks on parallel processors (Q2117220) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 MDDs boost equation solving on discrete dynamical systems (Q2117218) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 A pipe routing hybrid approach based on A-star search and linear programming (Q2117217) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Towards a compact SAT-based encoding of itemset mining tasks (Q2117214) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 The traveling social golfer problem: the case of the Volleyball Nations League (Q2117211) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Combining constraint programming and temporal decomposition approaches -- scheduling of an industrial formulation plant (Q2117209) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Heavy-tails and randomized restarting beam search in goal-oriented neural sequence decoding (Q2117205) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 A two-stage exact algorithm for optimization of neural network ensemble (Q2117204) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Partitioning students into cohorts during COVID-19 (Q2117203) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 A\textsuperscript{*}-based compilation of relaxed decision diagrams for the longest common subsequence problem (Q2117202) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Learning variable activity initialisation for lazy clause generation solvers (Q2117201) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Strengthening of feasibility cuts in logic-based benders decomposition (Q2117199) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 A computational study of constraint programming approaches for resource-constrained project scheduling with autonomous learning effects (Q2117197) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Supercharging plant configurations using Z3 (Q2117195) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Deciphering the co-car anomaly of circular traffic queues using Petri nets (Q2117190) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Firing partial orders in a Petri net (Q2117188) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Abstraction-based incremental inductive coverability for Petri nets (Q2117187) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 A lazy query scheme for reachability analysis in Petri nets (Q2117184) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Efficient algorithms for three reachability problems in safe Petri nets (Q2117182) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Discovering stochastic process models by reduction and abstraction (Q2117180) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Synthesis of Petri nets with restricted place-environments: classical and parameterized (Q2117176) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Synthesis of (choice-free) reset nets (Q2117175) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Edge, event and state removal: the complexity of some basic techniques that make transition systems Petri net implementable (Q2117174) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Model checking of synchronized domain-specific multi-formalism models using high-level Petri nets (Q2117173) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Automatic synthesis of transiently correct network updates via Petri games (Q2117163) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 A turn-based approach for qualitative time concurrent games (Q2117153) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Flat Petri nets (invited talk) (Q2117150) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Topics in region theory and synthesis problems (Q2117149) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Diagrammatic representation of conceptual structures (Q2117148) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Filters, ideals and congruences on double Boolean algebras (Q2117147) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Exploring scale-measures of data sets (Q2117144) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Existence results for fractional impulsive delay feedback control systems with Caputo fractional derivatives (Q2119776) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 On time fractional pseudo-parabolic equations with nonlocal integral conditions (Q2119775) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Energy method for exponential stability of coupled one-dimensional hyperbolic PDE-ODE systems (Q2119774) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Optimal control problems for a neutral integro-differential system with infinite delay (Q2119772) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Some results on the behaviour of transfer functions at the right half plane (Q2119771) ‎Changed label, description and/or aliases in en, and other parts current
• 14:5214:52, 30 July 2025 diff hist +26 Global attractors, exponential attractors and determining modes for the three dimensional Kelvin-Voigt fluids with ``Fading memory'' (Q2119769) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Complete controllability for a class of fractional evolution equations with uncertainty (Q2119768) ‎Changed label, description and/or aliases in en, and other parts
• 14:5214:52, 30 July 2025 diff hist +26 Approximate controllability of second order impulsive systems with state-dependent delay in Banach spaces (Q2119767) ‎Changed label, description and/or aliases in en, and other parts