Sign in

Fair and Adventurous Enumeration of Quantifier Instantiations.

Mikolás JanotaHaniel BarbosaPascal FontaineAndrew 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