Export Citations
1 Results for: Keyword: SRC-1
Save this search
Please login to be able to save your searches and receive alerts for new content matching your search criteria.
Searched The ACM Guide to Computing Literature (3,800,530 records)|Limit your search to The ACM Full-Text Collection (770,264 records)
Select All
- research-articleApril 2023
Number of Variables for Graph Differentiation and the Resolution of Graph Isomorphism Formulas
ACM Transactions on Computational Logic (TOCL), Volume 24, Issue 3Article No.: 23, Pages 1–25https://doi.org/10.1145/3580478We show that the number of variables and the quantifier depth needed to distinguish a pair of graphs by first-order logic sentences exactly match the complexity measures of clause width and depth needed to refute the corresponding graph isomorphism ...