Solving Hard Analogy Questions with Relation Embedding Chains.
Nitesh KumarSteven SchockaertPublished in: CoRR (2023)
Keyphrases
- solving hard
- combinatorial problems
- search problems
- satisfiability problem
- propositional logic
- stochastic local search
- propositional satisfiability
- sat problem
- search algorithm
- constraint programming
- heuristic search
- metaheuristic
- constraint satisfaction
- vector space
- constraint satisfaction problems
- belief revision
- genetic algorithm
- temporal logic
- constraint propagation
- particle swarm optimization
- special case
- data structure