Sciweavers

PR
2008

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

13 years 4 months ago
A SAT-based parser and completer for pictures specified by tiling
Matteo Pradella, Stefano Crespi-Reghizzi
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2008
Where PR
Authors Matteo Pradella, Stefano Crespi-Reghizzi
Comments (0)