GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection.
Zhanguang ZhangDidier ChételatJoseph CotnareanuAmur GhoseWenyi XiaoHui-Ling ZhenYingxue ZhangJianye HaoMark CoatesMingxuan YuanPublished in: KDD (2024)
Keyphrases
- expert knowledge
- sat solvers
- neural network
- fuzzy logic
- expert systems
- sat solving
- orders of magnitude
- domain experts
- domain knowledge
- knowledge base
- max sat
- bayesian networks
- propositional satisfiability
- search space
- constraint satisfaction
- sat problem
- sat instances
- search tree
- prior knowledge
- boolean satisfiability
- search strategies
- constraint solver
- control system
- decision making
- data structure
- information retrieval systems
- knowledge representation
- sat encodings