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.

CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving

Hakan Metin, Souheib Baarir, Maximilien Colange, Fabrice Kordon. CDCLSym: Introducing Effective Symmetry Breaking in SAT Solving. In Dirk Beyer 0001, Marieke Huisman, editors, Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I. Volume 10805 of Lecture Notes in Computer Science, pages 99-114, Springer, 2018. [doi]

Authors

Hakan Metin

This author has not been identified. Look up 'Hakan Metin' in Google

Souheib Baarir

This author has not been identified. Look up 'Souheib Baarir' in Google

Maximilien Colange

This author has not been identified. Look up 'Maximilien Colange' in Google

Fabrice Kordon

This author has not been identified. Look up 'Fabrice Kordon' in Google
runs on