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.

Challenges in Satisfiability Modulo Theories

Robert Nieuwenhuis, Albert Oliveras, Enric Rodríguez-Carbonell, Albert Rubio. Challenges in Satisfiability Modulo Theories. In Franz Baader, editor, Term Rewriting and Applications, 18th International Conference, RTA 2007, Paris, France, June 26-28, 2007, Proceedings. Volume 4533 of Lecture Notes in Computer Science, pages 2-18, Springer, 2007. [doi]

Authors

Robert Nieuwenhuis

This author has not been identified. Look up 'Robert Nieuwenhuis' in Google

Albert Oliveras

This author has not been identified. Look up 'Albert Oliveras' in Google

Enric Rodríguez-Carbonell

This author has not been identified. It may be one of the following persons: Look up 'Enric Rodríguez-Carbonell' in Google

Albert Rubio

This author has not been identified. Look up 'Albert Rubio' in Google
runs on