TY  - RPRT
TI  - Symbolic Execution + Model Counting + Entropy Maximization = Automatic Search Synthesis
AU  - Mara Downing
AU  - Abtin Molavi
AU  - Lucas Bang
PY  - 2020
DO  - 10.4204/eptcs.326.4
UR  - https://arxiv.org/abs/2009.10877
ID  - 2009.10877
ER  -