Exploiting Isomorphic Subgraphs in SAT (Long version)

Alexander Ivrii, Ofer Strichman

Data and Decision Sciences

Technion - Israel Institute of Technology

Research output: Contribution to journal › Article › peer-review

Original language	American English
Journal	CoRR
Volume	abs/2103.10267
State	Published - 2021

Access to Document

https://arxiv.org/abs/2103.10267

Cite this