Title of article
A SAT-based parser and completer for pictures specified by tiling
Author/Authors
Matteo Pradella، نويسنده , , Stefano Crespi Reghizzi، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2008
Pages
12
From page
555
To page
566
Keywords
Syntactic pattern recognition , Tiling systems , Wang tiles , Picture/image generationand interpolation , SAT-solvers , Two-dimensional grammars and languages , Picture languages
Journal title
PATTERN RECOGNITION
Serial Year
2008
Journal title
PATTERN RECOGNITION
Record number
210802
Link To Document