activity
20212024
most citedReal-ESRGAN: Training Real-World Blind Super-Resolution with Pure Synthetic Data

85 citations · 323 across the 34 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2023

New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy

Qun Zhao, Xintao Wang, Menghui Yang

This study presents a novel heuristic algorithm called the "Minimal Positive Negative Product Strategy" to guide the CDCL algorithm in solving the Boolean satisfiability problem. I…