Litcius/Paper detail

Machine Learning Methods in Solving the Boolean Satisfiability Problem

Wenxuan Guo, Hui‐Ling Zhen, Xijun Li, Wanqian Luo, Mingxuan Yuan, Yaohui Jin, Junchi Yan

2023Machine Intelligence Research24 citationsDOI

Topics & Concepts

Computer scienceBoolean satisfiability problemMachine learningArtificial intelligenceSatisfiabilityTheoretical computer scienceConstraint Satisfaction and OptimizationFormal Methods in VerificationMetaheuristic Optimization Algorithms Research
Machine Learning Methods in Solving the Boolean Satisfiability Problem | Litcius