lederg/learningCNF

Language: Python - Size: 273 MB - Last synced: 4 months ago - Pushed: over 1 year ago - Stars: 1 - Forks: 0

lederg/buckler Fork of lab11/buckler

Development board for teaching embedded systems

Language: C - Size: 22.2 MB - Last synced: about 1 year ago - Pushed: over 3 years ago - Stars: 0 - Forks: 0

lederg/learningqbf

Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)

Size: 0 Bytes - Last synced: about 1 year ago - Pushed: over 4 years ago - Stars: 0 - Forks: 0

lederg/ibottle

Language: C++ - Size: 34.5 MB - Last synced: 26 days ago - Pushed: over 9 years ago - Stars: 1 - Forks: 0