Login / Signup

Solving satisfiability in the tile assembly model with a constant-size tileset.

Yuriy Brun
Published in: J. Algorithms (2008)
Keyphrases
  • computational model
  • statistical model
  • conceptual model
  • mathematical model
  • database
  • similarity measure
  • multi agent
  • multi agent systems
  • cost function
  • probabilistic model
  • theoretical framework
  • propositional logic