Login / Signup
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