conftrace_

random k-sat

2 papers

Explore in graph

Also known as

K-SAT

Co-occurring keywords · papers mentioning both

satisfiability threshold (1) sharp threshold (1) propositional satisfiability (1) dnf formula (1) complexity theory (1) complexity theoretic limitation (1) probabilistic analysis (1) hardness result (1) agnostic learning (1) discrete optimization (1)

Papers

Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT IJCAI 2019 Complexity Theoretic Limitations on Learning DNF’s COLT 2016