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.

Evolving SMT Strategies

Nicolás Gálvez Ramírez, Youssef Hamadi, Eric Monfroy, Frédéric Saubion. Evolving SMT Strategies. In 28th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2016, San Jose, CA, USA, November 6-8, 2016. pages 247-254, IEEE Computer Society, 2016. [doi]

Authors

Nicolás Gálvez Ramírez

This author has not been identified. Look up 'Nicolás Gálvez Ramírez' in Google

Youssef Hamadi

This author has not been identified. Look up 'Youssef Hamadi' in Google

Eric Monfroy

This author has not been identified. Look up 'Eric Monfroy' in Google

Frédéric Saubion

This author has not been identified. Look up 'Frédéric Saubion' in Google
runs on