Inherent logic and complexity.

Published in: Electron. Colloquium Comput. Complex. (2015)

Keyphrases

computational complexity
worst case
logic programming
real world
website
multiscale
search algorithm
space complexity
automated reasoning
classical logic
digital circuits
predicate logic