Skip to content
conftrace_

max k-sat

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

pure literal elimination (1) maxsat problem (1) random satisfiability (1) configuration model (1) degree distribution (1) satisfiability threshold (1)

Papers

Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022