Fair and Adventurous Enumeration of Quantifier Instantiations.

Mikolás Janota Haniel Barbosa Pascal Fontaine Andrew Reynolds

Published in: FMCAD (2021)

Keyphrases

search space
quantifier elimination
multi unit combinatorial auctions
information retrieval
high level
search engine
database systems
relational databases
rough sets
fuzzy measures