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.

Using Decomposition-Parameters for QBF: Mind the Prefix!

Eduard Eiben, Robert Ganian, Sebastian Ordyniak. Using Decomposition-Parameters for QBF: Mind the Prefix!. In Dale Schuurmans, Michael P. Wellman, editors, Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, February 12-17, 2016, Phoenix, Arizona, USA. pages 964-970, AAAI Press, 2016. [doi]

Authors

Eduard Eiben

This author has not been identified. Look up 'Eduard Eiben' in Google

Robert Ganian

This author has not been identified. Look up 'Robert Ganian' in Google

Sebastian Ordyniak

This author has not been identified. Look up 'Sebastian Ordyniak' in Google
runs on