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.

An Alternative Representation for QBF

Anja Remshagen, Klaus Truemper. An Alternative Representation for QBF. In Hamid R. Arabnia, David de la Fuente, José Angel Olivas, editors, Proceedings of the 2009 International Conference on Artificial Intelligence, ICAI 2009, July 13-16, 2009, Las Vegas Nevada, USA, 2 Volumes. pages 531-536, CSREA Press, 2009.

Abstract

Abstract is missing.

runs on