TY  - RPRT
TI  - Fair and Adventurous Enumeration of Quantifier Instantiations
AU  - Mikoláš Janota
AU  - Haniel Barbosa
AU  - Pascal Fontaine
AU  - Andrew Reynolds
PY  - 2021
UR  - https://arxiv.org/abs/2105.13700
ID  - 2105.13700
ER  -