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
