NeuroSAT

MaRDI QIDQ5972724swMATHFDO

Official website https://arxiv.org/abs/1802.03685

Source code repository https://github.com/dselsam/neurocore-public

Described by source

• Guiding high-performance SAT solvers with unsat-core predictions

Cited in

(28)

• DeepProbLog
• NeurASP
• RelNN
• SeaPearl
• MedleySolver
• MarPlex
• Machine learning for combinatorial optimization: a methodological tour d'horizon
• The voice of optimization
• Learning variable activity initialisation for lazy clause generation solvers
• SeaPearl: a constraint programming solver guided by reinforcement learning
• \textsf{lazyCoP}: lazy paramodulation meets neurally guided search
• Learning the travelling salesperson problem requires rethinking generalization
• GENCOL
• MTBDD
• BBMCSP
• Holophrasm
• Mosel
• Knet
• TensorLog
• scientific article; zbMATH DE number 7455735 (Why is no real title available?)
• NLocalSAT
• MiniCP
• MachSMT
• HOList
• HUBBI
• GamePad
• NeuroLKH
• Adaptive-Cutsel-MILP

This page was built for software: NeuroSAT