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.

Limits of CDCL Learning via Merge Resolution

Noah Fleming, Vijay Ganesh, Antonina Kolokolova, Chunxiao Li 0002, Marc Vinyals. Limits of CDCL Learning via Merge Resolution. Electronic Colloquium on Computational Complexity (ECCC), TR23, 2023. [doi]

Authors

Noah Fleming

This author has not been identified. Look up 'Noah Fleming' in Google

Vijay Ganesh

This author has not been identified. Look up 'Vijay Ganesh' in Google

Antonina Kolokolova

This author has not been identified. Look up 'Antonina Kolokolova' in Google

Chunxiao Li 0002

This author has not been identified. Look up 'Chunxiao Li 0002' in Google

Marc Vinyals

This author has not been identified. Look up 'Marc Vinyals' in Google
runs on