Keyphrases
- sat solvers
- satisfiability problem
- cultural heritage
- augmented reality
- sat problem
- boolean satisfiability
- phase transition
- search algorithm
- max sat
- sat instances
- stochastic local search
- propositional satisfiability
- sat solving
- stochastic local search algorithms
- digital museum
- search strategies
- satisfiability testing
- orders of magnitude
- variable ordering
- heuristic search
- np complete
- logic programming
- real world
- virtual museum