Skip to content
conftrace_

random satisfiability

3 papers

Explore in graph

Also known as

RANDOM SAT

Co-occurring keywords · papers mentioning both

configuration model (2) degree distribution (2) satisfiability threshold (2) maxsat problem (1) random formula (1) pure literal elimination (1) k-sat problem (1) max k-sat (1) random boolean formula (1) disjunctive logic program (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 Generating Hard Random Boolean Formulas and Disjunctive Logic Programs IJCAI 2017