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)

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

This page was built for software: NeuroSAT