Similar Items: Extended Resolution Clause Learning via Dual Implication Points
- Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
- A Resolution-Based Interactive Proof System for UNSAT
- Reparameterized Complex-valued Neurons Can Efficiently Learn More than Real-valued Neurons via Gradient Descent
- PSO-WESRGAN: A NOVEL DOCUMENT IMAGE SUPER RESOLUTION
- Task-Driven Dual-Path Keyframe Selection: Enhancing Multimodal Video Understanding
- Objective Quality Evaluation of Point Clouds: Quality Features and Fusion Metrics