Login / Signup
Constrained Symbolic Search: On Mutexes, BDD Minimization and More.
Álvaro Torralba
Vidal Alcázar
Published in:
SOCS (2013)
Keyphrases
</>
search space
search algorithm
search strategies
database
search strategy
binary decision diagrams
objective function
solution space
search efficiency
information retrieval
high level
symbolic representation