Title
Solution-Graphs of Boolean Formulas and Isomorphism1
Year
DOI
Venue
2016
10.3233/sat190113
Electronic Colloquium on Computational Complexity (ECCC)
DocType
Volume
Issue
Journal
10
1
Citations 
PageRank 
References 
0
0.34
10
Authors
2
Name
Order
Citations
PageRank
Patrick Scharpfenecker182.22
Jacobo Torán256449.26