User contributions for Import241231021252

31 December 2024

• 14:4714:47, 31 December 2024 diff hist 0 Singletons for simpletons: revisiting windowed backoff with Chernoff bounds (Q6487598) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 The computational complexity of Evil Hangman (Q6487596) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Physical zero-knowledge proof for Numberlink (Q6487595) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Speeding up networks mining via neighborhood diversity (Q6487594) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Card-based ZKP protocols for Takuzu and Juosan (Q6487593) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Train tracks with gaps (Q6487591) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Hyperbolic Minesweeper is in P (Q6487590) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Foundations for actively secure card-based cryptography (Q6487589) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Efficient algorithm for multiplication of numbers in Zeckendorf representation (Q6487588) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Multi-robot motion planning of \(k\)-colored discs is PSPACE-hard (Q6487587) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 An open pouring problem (Q6487582) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 On the treewidth of Hanoi graphs (Q6487581) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 A phase transition in Minesweeper (Q6487580) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Efficient algorithms for Battleship (Q6487578) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Computational fun with sturdy and flimsy numbers (Q6487577) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Magic: The Gathering is Turing complete (Q6487576) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 \(1\times 1\) Rush Hour with fixed blocks is PSPACE-complete (Q6487573) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Finding water on Poleless using melomaniac myopic chameleon robots (Q6487570) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Cutting bamboo down to size (Q6487569) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Taming the knight's tour: minimizing turns and crossings (Q6487568) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Walking through doors is hard, even without staircases: proving PSPACE-hardness via planar assemblies of door gadgets (Q6487567) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Collaborative procrastination (Q6487565) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Tatamibari is NP-complete (Q6487564) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 On verifying timed hyperproperties (Q6487563) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Simplifying inductive schemes in temporal logic (Q6487562) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Complexity analysis of a unifying algorithm for model checking interval temporal logic (Q6487561) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Hybrid SAT-based consistency checking algorithms for simple temporal networks with decisions (Q6487560) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 A bounded domain property for an expressive fragment of first-order linear temporal logic (Q6487559) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 On the utility of neighbourhood singleton-style consistencies for qualitative constraint-based spatial and temporal reasoning (Q6487558) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Minimisation of models satisfying CTL formulas (Q6487557) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Towards certified model checking for PLTL using one-pass tableaux (Q6487556) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 From quantified CTL to QBF (Q6487554) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Qualitative reasoning and data mining (Q6487553) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 A modal logic for subject-oriented spatial reasoning (Q6487552) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Polynomial-time fence insertion for structured programs (Q6487551) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Distributed data summarization in well-connected networks (Q6487549) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Monotonically relaxing concurrent data-structure semantics for increasing performance: an efficient 2D design framework (Q6487548) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Small cuts and connectivity certificates: a fault tolerant approach (Q6487547) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Byzantine approximate agreement on graphs (Q6487546) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Stellar consensus by instantiation (Q6487545) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 The complexity of symmetry breaking in massive graphs (Q6487543) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Low-congestion shortcut and graph parameters (Q6487542) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Privatization-safe transactional memories (Q6487541) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Fast distributed algorithms for LP-type problems of low dimension (Q6487540) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Scalable Byzantine reliable broadcast (Q6487539) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Wait-free solvability of equality negation tasks (Q6487538) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Parallel finger search structures (Q6487537) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 On bioelectric algorithms (Q6487536) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Improved network decompositions using small messages with applications on MIS, neighborhood covers, and beyond (Q6487534) Normalize DOI. current
• 14:4714:47, 31 December 2024 diff hist 0 Stable memoryless queuing under contention (Q6487533) Normalize DOI. current