Limits of Rush Hour Logic Complexity

John Tromp Rudi Cilibrasi

Published in: CoRR (2005)

Keyphrases

decision problems
real world
space complexity
digital circuits
lower complexity
databases
learning algorithm
information systems
e learning
database systems
np hard
worst case
classical logic
natural deduction