A SAT-based parser and completer for pictures specified by tiling
From MaRDI portal
Publication:2459547
DOI10.1016/j.patcog.2007.06.018zbMath1131.68515OpenAlexW2145996911MaRDI QIDQ2459547
Matteo Pradella, Stefano Crespi Reghizzi
Publication date: 7 November 2007
Published in: Pattern Recognition (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.patcog.2007.06.018
picture languagesWang tilestiling systemsSyntactic pattern recognitionSAT-solverspicture/image generation and interpolationtwo-dimensional grammars and languages
Computing methodologies for image processing (68U10) Formal languages and automata (68Q45) Pattern recognition, speech recognition (68T10)
Related Items
Uses Software
Cites Work