Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Keyword
:
Hardness Model
Publications
On the Hierarchical Community Structure of Practical SAT Formulas
Chunxiao Li
,
Jonathan Chung
,
Soham Mukherjee
,
Marc Vinyals
,
Noah Fleming
,
Antonina Kolokolova
,
Alice Mu
and
Vijay Ganesh
EasyChair Preprint 5949
Copyright © 2012-2024 easychair.org. All rights reserved.