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.

Hard QBF Encodings Made Easy: Dream or Reality?

Luca Pulina, Armando Tacchella. Hard QBF Encodings Made Easy: Dream or Reality?. In Roberto Serra, Rita Cucchiara, editors, AI*IA 2009: Emergent Perspectives in Artificial Intelligence, XIth International Conference of the Italian Association for Artificial Intelligence, Reggio Emilia, Italy, December 9-12, 2009, Proceedings. Volume 5883 of Lecture Notes in Computer Science, pages 31-41, Springer, 2009. [doi]

Authors

Luca Pulina

This author has not been identified. Look up 'Luca Pulina' in Google

Armando Tacchella

This author has not been identified. Look up 'Armando Tacchella' in Google
runs on