Login / Signup
Efficient Exploration of Environments Using Stochastic Local Search.
Ramoni O. Lasisi
Published in:
ICAART (1) (2017)
Keyphrases
</>
stochastic local search
satisfiability problem
solving hard
combinatorial optimisation
randomly generated
random sat instances
quadratic assignment problem
max sat
phase transition
dynamic environments
search algorithm
sat instances
computationally hard problems
np complete
temporal logic
sat problem