conftrace_

pure literal elimination

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

max k-sat (1) maxsat problem (1) random satisfiability (1) cube learning (1) configuration model (1) degree distribution (1) proof complexity (1) quantified boolean formula (1) satisfiability threshold (1) sat solving (1)

Papers

Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022 QCDCL with Cube Learning or Pure Literal Elimination - What is Best? IJCAI 2022