publication
Journal Article
2023
On the structure of the Boolean satisfiability problem: A survey
ACM Computing Surveys
Publisher Name
ACM
Volume Number
55
Issue Number
3
Pages
46:1-46:34
IEEE