Similar Items: Extended Resolution Clause Learning via Dual Implication Points
- GraDual: Resolving the Semantic–Frequency Trade-Off via Gradient-Regulated Dual-Branch Multimodal Manipulation Detection
- PointCloudCrafter: Tools for Handling, Manipulating and Analyzing of Point Clouds
- Learning general conditional independence structures via the neighbourhood lattice
- Knowledge Problems in Protocol Analysis: Extending the Notion of Subterm Convergent
- High-Efficiency Dual-Polarized Dual-Mode Transmitarray Antenna for C-Band Communication With Directive and Orbital Angular Momentum Radiation Patterns
- A Resolution-Based Interactive Proof System for UNSAT