External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Tags

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.

TSAT++: an Open Platform for Satisfiability Modulo Theories

Alessandro Armando, Claudio Castellini, Enrico Giunchiglia, Massimo Idini, Marco Maratea. TSAT++: an Open Platform for Satisfiability Modulo Theories. Electronic Notes in Theoretical Computer Science, 125(3):25-36, 2005. [doi]

Authors

Alessandro Armando

This author has not been identified. Look up 'Alessandro Armando' in Google

Claudio Castellini

This author has not been identified. Look up 'Claudio Castellini' in Google

Enrico Giunchiglia

This author has not been identified. Look up 'Enrico Giunchiglia' in Google

Massimo Idini

This author has not been identified. Look up 'Massimo Idini' in Google

Marco Maratea

This author has not been identified. Look up 'Marco Maratea' in Google
runs on