Fair and Adventurous Enumeration of Quantifier Instantiations.

Mikolás Janota Haniel Barbosa Pascal Fontaine Andrew Reynolds

Published in: CoRR (2021)

Keyphrases

search space
fuzzy measures
quantifier elimination
multi unit combinatorial auctions
database
website
three dimensional
multiscale
expert systems
dynamic programming
probabilistic model