Contributions to the Domino Problem: Seeding, Recurrence and Satisfiability.

Published in: CoRR (2023)

Keyphrases

satisfiability problem
np complete
propositional logic
data sets
genetic algorithm
multiscale
terminological reasoning
search engine
social networks
database systems
quantified boolean formulas