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.

Integrating Algebraic and SAT Solvers

Jan Horácek, Jan Burchard, Bernd Becker 0001, Martin Kreuzer. Integrating Algebraic and SAT Solvers. In Johannes Blömer, Ilias S. Kotsireas, Temur Kutsia, Dimitris E. Simos, editors, Mathematical Aspects of Computer and Information Sciences - 7th International Conference, MACIS 2017, Vienna, Austria, November 15-17, 2017, Proceedings. Volume 10693 of Lecture Notes in Computer Science, pages 147-162, Springer, 2017. [doi]

Authors

Jan Horácek

This author has not been identified. Look up 'Jan Horácek' in Google

Jan Burchard

This author has not been identified. Look up 'Jan Burchard' in Google

Bernd Becker 0001

This author has not been identified. Look up 'Bernd Becker 0001' in Google

Martin Kreuzer

This author has not been identified. Look up 'Martin Kreuzer' in Google
runs on