conftrace_

variable decision heuristic

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

cdcl algorithm (1) exponential time (1) resolution proof (1) sat solver (1) constraint satisfaction (1) combinatorial optimization (1)

Papers

Hard Examples for Common Variable Decision Heuristics AAAI 2020