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.

SPASS-SATT - A CDCL(LA) Solver

Martin Bromberger, Mathias Fleury, Simon Schwarz, Christoph Weidenbach. SPASS-SATT - A CDCL(LA) Solver. In Pascal Fontaine, editor, Automated Deduction - CADE 27 - 27th International Conference on Automated Deduction, Natal, Brazil, August 27-30, 2019, Proceedings. Volume 11716 of Lecture Notes in Computer Science, pages 111-122, Springer, 2019. [doi]

Authors

Martin Bromberger

This author has not been identified. Look up 'Martin Bromberger' in Google

Mathias Fleury

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

Simon Schwarz

This author has not been identified. Look up 'Simon Schwarz' in Google

Christoph Weidenbach

This author has not been identified. Look up 'Christoph Weidenbach' in Google
runs on