conftrace_

cdcl solver

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

random instance (1) phase selection (1) pseudo-boolean optimization (1) local search (1) sat solver (1) constraint satisfaction (1) reinforcement learning (1)

Papers

Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics AAAI 2026 Locality in Random SAT Instances IJCAI 2017