conftrace_

conflict depression

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

branching heuristic (1) random exploration (1) sat solving (1) conflict-driven clause learning (1) search algorithm (1) sat solver (1) exploration strategy (1) variable selection (1)

Papers

Guiding CDCL SAT Search via Random Exploration amid Conflict Depression AAAI 2020