Limits of CDCL Learning via Merge Resolution.

Marc Vinyals Chunxiao (Ian) Li Noah Fleming Antonina Kolokolova Vijay Ganesh

Published in: CoRR (2023)

Keyphrases

learning algorithm
genetic algorithm
reinforcement learning
evolutionary algorithm
domain specific
query expansion
sat solvers