Home
EPiC Series
Kalpa Publications
Preprints
For Authors
For Editors
Author
:
Jonathan Chung
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
Keyphrases
Hardness Model
,
hierarchical community structure
,
parameterized complexity
.
Copyright © 2012-2024 easychair.org. All rights reserved.