lederg

Pinned Repositories

seqpred
Language:Python00
JSnice
Language:Python00
buckler
Development board for teaching embedded systems
Language:C5 14 311
buckler
Development board for teaching embedded systems
Language:C00
ibottle
Language:C++1 5 00
learningCNF
Language:Python10
learningqbf
Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)
0 1 10
synthetic_qbf_formulas
Language:Python2 2 01
learningCNF
This is the repository for the AAAI 2021 paper: Learning Branching Heuristic for Propositional Model Counting (https://www.aaai.org/AAAI21Papers/AAAI-10022.VaezipoorP.pdf)
Language:Python50

lederg's Repositories

lederg/ibottle
Language:C++1 5 00
lederg/learningCNF
Language:Python10
lederg/buckler
Development board for teaching embedded systems
Language:C00
lederg/learningqbf
Code for "Learning Heuristics for Quantified Boolean Formulas through Reinforcement Learning" (https://arxiv.org/abs/1807.08058)
0 1 10