SAT-based sequential depth computation.

Maher N. Mneimneh Karem A. Sakallah

Published in: ASP-DAC (2003)

Keyphrases

ai planning
depth information
answer set programming
planning domains
bounded model checking
database
high quality
evolutionary algorithm
motion estimation
answer sets