Using deep learning to construct stochastic local search SAT solvers with performance bounds

Documenti analoghi

• A deep learning method for solving stochastic optimal control problems driven by fully-coupled FBSDEs
  di: Ji, Shaolin, et al.
  Pubblicazione: (2022)
• Exact and heuristic methods for the discrete parallel machine scheduling location problem
  di: Kramer, Raphael, et al.
  Pubblicazione: (2020)
• GLinSAT: The General Linear Satisfiability Neural Network Layer By Accelerated Gradient Descent
  di: Zeng, Hongtai, et al.
  Pubblicazione: (2024)
• Learning a local trading strategy: deep reinforcement learning for grid-scale renewable energy integration
  di: Ju, Caleb, et al.
  Pubblicazione: (2024)
• Adaptive Online Non-stochastic Control
  di: Mhaisen, Naram, et al.
  Pubblicazione: (2023)