SAT-IT: The Interactive SAT Tracer.
Marc CanéJordi CollMarc RojoMateu VillaretPublished in: CCIA (2023)
Keyphrases
- sat solvers
- satisfiability problem
- propositional satisfiability
- stochastic local search
- sat problem
- sat solving
- phase transition
- boolean satisfiability
- search algorithm
- stochastic local search algorithms
- constraint satisfaction problems
- learning algorithm
- search strategies
- user friendly
- virtual reality
- knowledge representation
- sat encodings
- real time