Skip to content
conftrace_

bounded variable elimination

1 paper

Explore in graph

Also known as

BVE

Co-occurring keywords · papers mentioning both

variable ordering (1) conflict-driven clause learning (1) sat solver (1)

Papers

A New Variable Ordering for In-processing Bounded Variable Elimination in SAT Solvers IJCAI 2023