conftrace_

k-sat problem

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

random satisfiability (1) configuration model (1) degree distribution (1) satisfiability threshold (1) constraint satisfaction (1) satisfiability solving (1)

Papers

Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021