Login / Signup
Transition systems for model generators - A unifying approach.
Yuliya Lierler
Miroslaw Truszczynski
Published in:
Theory Pract. Log. Program. (2011)
Keyphrases
</>
artificial intelligence
markov chain
heuristic search