Similar Items: A Resolution-Based Interactive Proof System for UNSAT
- Pebble Games and Algebraic Proof Systems
- On $NP cap coNP$ proof complexity generators
- PSO-WESRGAN: A NOVEL DOCUMENT IMAGE SUPER RESOLUTION
- Extended Resolution Clause Learning via Dual Implication Points
- IMPROVING PET SCANNER TIME-OF-FLIGHT RESOLUTION USING ADDITIONAL PROMPT PHOTON
- The Pulmonary Agent-based Infection simulator (PAI): A Multi-Scale Agent-Based Model of Pulmonary Host-Pathogen Interactions