GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

Z Zhang, D Chetelat, J Cotnareanu, A Ghose… - arXiv preprint arXiv …, 2024 - arxiv.org
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life
applications, yet solving time can vary drastically between solvers for the same instance …
相关文章

GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection

Z Zhang, D Chetelat, J Cotnareanu, A Ghose… - arXiv e …, 2024 - ui.adsabs.harvard.edu
Boolean satisfiability (SAT) problems are routinely solved by SAT solvers in real-life
applications, yet solving time can vary drastically between solvers for the same instance …