Login / Signup
A Combinatorial Search Perspective on Diverse Solution Generation.
Satya Gautam Vadlamudi
Subbarao Kambhampati
Published in:
AAAI (2016)
Keyphrases
</>
combinatorial search
search strategy
subgraph isomorphism
theorem proving