Graph Neural Reasoning for 2-Quantified Boolean Formula Solvers.
Zhanfu YangFei WangZiliang ChenGuannan WeiTiark RompfPublished in: CoRR (2019)
Keyphrases
- sat solvers
- quantified boolean formulas
- boolean formula
- reasoning tasks
- sat instances
- knowledge base
- orders of magnitude
- knowledge representation
- automated reasoning
- max sat
- propositional satisfiability
- boolean satisfiability
- conjunctive normal form
- boolean variables
- description logics
- sat problem
- machine learning
- decision procedures
- evolutionary algorithm