NeuroSAT

swMATH46009MaRDI QIDQ5972724FDOQ5972724

Author name not available (Why is that?)

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)

• Adaptive-Cutsel-MILP
• Machine learning for combinatorial optimization: a methodological tour d'horizon
• GamePad
• HUBBI
• Learning variable activity initialisation for lazy clause generation solvers
• NeuroLKH
• Title not available (Why is that?)
• MarPlex
• GENCOL
• MTBDD
• BBMCSP
• Mosel
• Holophrasm
• Knet
• TensorLog
• The voice of optimization
• NLocalSAT
• MachSMT
• MiniCP
• DeepProbLog
• NeurASP
• MedleySolver
• RelNN
• SeaPearl
• HOList
• 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

This page was built for software: NeuroSAT