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.

SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers

Gilles Audemard, Loïc Paulevé, Laurent Simon. SAT Heritage: A Community-Driven Effort for Archiving, Building and Running More Than Thousand SAT Solvers. 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 107-113, Springer, 2020. [doi]

Authors

Gilles Audemard

This author has not been identified. Look up 'Gilles Audemard' in Google

Loïc Paulevé

This author has not been identified. Look up 'Loïc Paulevé' in Google

Laurent Simon

This author has not been identified. Look up 'Laurent Simon' in Google
runs on