A SAT-based parser and completer for pictures specified by tiling

Matteo Pradella, Stefano Crespi-Reghizzi. A SAT-based parser and completer for pictures specified by tiling. Pattern Recognition, 41(2):555-566, 2008. [doi]

Abstract

Abstract is missing.