vix.ing · top · new · best · stats · spec

Joseph Cotnareanu

  1. GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
    2024/05/17 by Zhanguang Zhang, Zhang, Zhanguang, Didier Chételat +17 · 1 citation
    Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #Model-Driven Software Engineering Techniques #Software Engineering Research #Software Engineering Techniques and Practices