Coja-Oghlan, F

· 2017

1 Pith paper cite this work. Polarity classification is still indexing.

1 Pith paper citing it

browse 1 citing papers

representative citing papers

cond-mat.stat-mech · 2026-05-19 · unverdicted · novelty 6.0

TSAT algorithm triples tractable sizes for hardest random 3-SAT instances by actively targeting clause-type distributions in local search.

Showing 1 of 1 citing paper.

Targeting Clause Type Distributions: a Picklock for Random Satisfiability Problems cond-mat.stat-mech · 2026-05-19 · unverdicted · none · ref 35
TSAT algorithm triples tractable sizes for hardest random 3-SAT instances by actively targeting clause-type distributions in local search.