SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (Contributo in atti di convegno)

Type
Label
  • SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (Contributo in atti di convegno) (literal)
Anno
  • 2007-01-01T00:00:00+01:00 (literal)
Alternative label
  • M. Pradella, S. Crespi Reghizzi (2007)
    SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling
    in DLT 2007, Workshop on Tilings and Self-Assembly
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • M. Pradella, S. Crespi Reghizzi (literal)
Titolo
  • SAT-TS: a SAT-based tool to recognize and complete pictures specified by tiling (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it