Cited By
View all- Iida YSonobe TInaba M(2025)WANCE: Learnt Clause Evaluation Method for SAT Solver Using Graph StructureLearning and Intelligent Optimization10.1007/978-3-031-75623-8_15(190-204)Online publication date: 3-Jan-2025
- Peng JXiao MLarson K(2024)A fast algorithm for MaxSAT above half number of clausesProceedings of the Thirty-Third International Joint Conference on Artificial Intelligence10.24963/ijcai.2024/214(1935-1943)Online publication date: 3-Aug-2024
- Duan CLiu JXu JAn DBao Y(2024)A Novel Approach for Traveling Salesman Problem Via Probe Machine2024 IEEE 24th International Conference on Software Quality, Reliability and Security (QRS)10.1109/QRS62785.2024.00076(713-723)Online publication date: 1-Jul-2024
- Show More Cited By