conftrace_

cube learning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

pure literal elimination (1) proof complexity (1) quantified boolean formula (1) sat solving (1) conflict-driven clause learning (1) sat solver (1)

Papers

QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022