布尔可满足性问题（Boolean Satisfiability Problem,SAT）是一个经典的判定问题,也是历史上首个被证实的NP问题。很多现实问题被证明......

YOLOv4目标检测算法主干网络庞大且参数量和计算量过多，难以部署在算力和存储资源有限的移动端嵌入式设备上。提出一种改进的YOLOv4......