Chronological Backtracking.

Alexander Nadel Vadim Ryvchin

Published in: SAT (2018)

Keyphrases

chronological backtracking
sat solvers
propositional satisfiability
computational complexity
lower bound
machine learning
information retrieval
reinforcement learning
search algorithm
optimization problems