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