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: CoRR (2024)
Keyphrases
- expert knowledge
- sat solvers
- neural network
- fuzzy logic
- expert systems
- domain knowledge
- sat solving
- orders of magnitude
- sat problem
- boolean satisfiability
- domain experts
- search space
- bayesian networks
- knowledge base
- constraint satisfaction
- sat instances
- search tree
- propositional satisfiability
- search strategies
- genetic algorithm
- max sat
- sat encodings
- decision trees
- prior knowledge
- data sets
- satisfiability problem
- decision making
- randomly generated
- heuristic search
- np complete
- boolean formula
- constraint solver
- clause learning