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.

Distributed Cube and Conquer with Paracooba

Maximilian Heisinger, Mathias Fleury, Armin Biere. Distributed Cube and Conquer with Paracooba. In Luca Pulina, Martina Seidl, editors, Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings. Volume 12178 of Lecture Notes in Computer Science, pages 114-122, Springer, 2020. [doi]

Authors

Maximilian Heisinger

This author has not been identified. Look up 'Maximilian Heisinger' in Google

Mathias Fleury

This author has not been identified. Look up 'Mathias Fleury' in Google

Armin Biere

This author has not been identified. Look up 'Armin Biere' in Google
runs on