NeuroSAT
From MaRDI portal
Software:5972724
No author found.
Source code repository: https://github.com/dselsam/neurocore-public
Related Items (7)
\textsf{lazyCoP}: lazy paramodulation meets neurally guided search ⋮ Learning the travelling salesperson problem requires rethinking generalization ⋮ Unnamed Item ⋮ 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
This page was built for software: NeuroSAT
