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.

CHR Exhaustive Execution - Revisited

Ahmed Elsawy, Amira Zaki, Slim Abdennadher. CHR Exhaustive Execution - Revisited. In Marina De Vos, Thomas Eiter, Yuliya Lierler, Francesca Toni, editors, Proceedings of the Technical Communications of the 31st International Conference on Logic Programming (ICLP 2015), Cork, Ireland, August 31 - September 4, 2015. Volume 1433 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]

Authors

Ahmed Elsawy

This author has not been identified. Look up 'Ahmed Elsawy' in Google

Amira Zaki

This author has not been identified. Look up 'Amira Zaki' in Google

Slim Abdennadher

This author has not been identified. Look up 'Slim Abdennadher' in Google
runs on