Similar Items: A Resolution-Based Interactive Proof System for UNSAT
- Pebble Games and Algebraic Proof Systems
- On $NP cap coNP$ proof complexity generators
- solana-pqzk-fullchain: Full on-chain verification of ZK-STARK proofs and post-quantum signatures on Solana
- A Hybrid Reinforcement Learning–Blockchain Architecture for Sequential Decentralised Coordination of Heterogeneous Robots: Proof-of-Concept Validation and Latency Characterisation
- PSO-WESRGAN: A NOVEL DOCUMENT IMAGE SUPER RESOLUTION
- A BiRefNet-Based Method for Collaborative Enhancement of High-Resolution Binary Segmentation Using Boundary-Region Cooperation