Login / Signup
Busy Beaver Machines and the Observant Otter Heuristic.
James Harland
Published in:
CATS (2013)
Keyphrases
</>
optimal solution
machine learning
theorem prover
search procedure
beam search
data sets
constraint satisfaction
greedy heuristic
real time
search algorithm
lower bound
knowledge representation
supply chain
tree search
heuristic solution