TY  - RPRT
TI  - New Boolean satisfiability problem heuristic strategy: Minimal Positive Negative Product Strategy
AU  - Qun Zhao
AU  - Xintao Wang
AU  - Menghui Yang
PY  - 2023
UR  - https://arxiv.org/abs/2310.18370
ID  - 2310.18370
ER  -