NeuroSAT

swMATH46009MaRDI QIDQ5972724FDOQ5972724

Author name not available (Why is that?)

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

Described by source

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

Cited In (7)

• Machine learning for combinatorial optimization: a methodological tour d'horizon
• Learning variable activity initialisation for lazy clause generation solvers
• Title not available (Why is that?)
• The voice of optimization
• 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