Skip to content
conftrace_

satisfiability threshold

4 papers

Explore in graph

Co-occurring keywords · papers mentioning both

degree distribution (2) configuration model (2) random satisfiability (2) random k-sat (1) sharp threshold (1) propositional satisfiability (1) complexity theory (1) random sat (1) clause length (1) maxsat problem (1)

Papers

Analysis of Pure Literal Elimination Rule for Non-uniform Random (MAX) k-SAT Problem with an Arbitrary Degree Distribution AAAI 2022 Satisfiability and Algorithms for Non-uniform Random k-SAT AAAI 2021 Sharpness of the Satisfiability Threshold for Non-Uniform Random k-SAT IJCAI 2019 On the Satisfiability Threshold of Random Community-Structured SAT IJCAI 2018