https://github.com/corail-research/learning-to-bound

Implementation of the paper "Improving Variable Orderings of Approximate Decision Diagrams using Reinforcement Learning"
https://github.com/corail-research/learning-to-bound

Last synced: about 2 months ago
JSON representation

Implementation of the paper "Improving Variable Orderings of Approximate Decision Diagrams using Reinforcement Learning"

• Host: GitHub
• URL: https://github.com/corail-research/learning-to-bound
• Owner: corail-research
• License: mit
• Created: 2022-02-22T15:36:53.000Z (almost 3 years ago)
• Default Branch: main
• Last Pushed: 2022-03-10T21:48:38.000Z (almost 3 years ago)
• Last Synced: 2024-02-03T00:36:17.702Z (11 months ago)
• Language: C++
• Size: 32.4 MB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project