Author

Bo Yang

h-index 4 View on Semantic Scholar

We have 2 of 8 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Book Open access Aug 2026

SAT Solver Selection: Move Beyond Handcrafted Features

This work proposes an end-to-end approach for handcrafted Feature-Free SAT Solver Selection, called F2S3, which effectively captures the structural complexity of graph data, eliminates the need for handcrafted features, and improves feature representation in the low-dimensional space.

Yitao Zhang, Xiao Yang, Yong Lai et al. · Proceedings of the 32nd ACM... · 0 citations

Book Open access Aug 2026

SAT Solver Selection: Move Beyond Handcrafted Features

Boolean Satisfiability (SAT) Problem is a cornerstone in computer science and artificial intelligence, underpinning numerous applications. Since no single SAT solver dominates all problem instances, SAT Solver Selection (SSS) leverages machine learning to dynamically choose the most effective algorithm. However, tradit...

Yitao Zhang, Xiao Yang, Yong Lai et al. · Proceedings of the 32nd ACM... · 0 citations