Old Web
English
Sign In
Acemap
>
authorDetail
>
Alice Mu
Alice Mu
Classifier (UML)
Solver
Structure (mathematical logic)
True quantified Boolean formula
Graph partition
1
Papers
0
Citations
0
KQI
Citation Trend
Filter By
Interval:
1900~2024
1900
2024
Author
Papers (1)
Sort By
Default
Most Recent
Most Early
Most Citation
No data
Journal
Conference
Others
On the Hierarchical Community Structure of Practical SAT Formulas.
2021
arXiv: Logic in Computer Science
Chunxiao Li
Jonathan Chung
Soham Mukherjee
Marc Vinyals
Noah Fleming
Antonina Kolokolova
Alice Mu
Vijay Ganesh
Show All
Source
Cite
Save
Citations (0)
1