Backtrack Search for Parallelisms of Projective Spaces.
Svetlana TopalovaStela ZhelezovaPublished in: IWOCA (2021)
Keyphrases
- sat problem
- backtrack search
- sat solvers
- propositional satisfiability
- constraint satisfaction problems
- solving hard
- constraint satisfaction
- phase transition
- constraint programming
- search strategies
- search space
- branch and bound algorithm
- low cost
- real time
- combinatorial optimization
- highly efficient
- data structure
- optimal solution
- knowledge base