A Generalization of the Satisfiability Coding Lemma and Its Applications - Citegraph

Paper Info

Title
A Generalization of the Satisfiability Coding Lemma and Its Applications

Year	DOI	Venue
2022	10.4230/LIPICS.SAT.2022.9	International Conference on Theory and Applications of Satisfiability Testing (SAT)
DocType	Citations	PageRank
Conference	0	0.34
References	Authors
0	3

Authors (3 rows)

Cited by (0 rows)

References (0 rows)

Name	Order	Citations	PageRank
Milan Mossé	1	0	0.34
Harry Sha	2	0	0.34
Li-Yang Tan	3	0	2.37

1