Automated Theorem Proving for Hexagonal Run Length Constrained Capacity Computation.

Zsolt Kukorelly Kenneth Zeger

Published in: ISIT (2006)

Keyphrases

run length
automated theorem proving
theorem proving
theorem prover
gray level
sample size
data hiding
answer set programming
artificial intelligence
image sequences
texture information
classical logic
compression rate