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]

Authors

Matteo Pradella

This author has not been identified. Look up 'Matteo Pradella' in Google

Stefano Crespi-Reghizzi

This author has not been identified. Look up 'Stefano Crespi-Reghizzi' in Google