External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers

Abhishek Anil Nair, Saranyu Chattopadhyay, Haoze Wu 0001, Alex Ozdemir, Clark W. Barrett. Proof-Stitch: Proof Combination for Divide-and-Conquer SAT Solvers. In FMCAD. pages 84-88, 2022. [doi]

Authors

Abhishek Anil Nair

This author has not been identified. Look up 'Abhishek Anil Nair' in Google

Saranyu Chattopadhyay

This author has not been identified. Look up 'Saranyu Chattopadhyay' in Google

Haoze Wu 0001

This author has not been identified. Look up 'Haoze Wu 0001' in Google

Alex Ozdemir

This author has not been identified. Look up 'Alex Ozdemir' in Google

Clark W. Barrett

This author has not been identified. Look up 'Clark W. Barrett' in Google
runs on