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.

A Framework for the Specification of Random SAT and QSAT Formulas

Nadia Creignou, Uwe Egly, Martina Seidl. A Framework for the Specification of Random SAT and QSAT Formulas. In Achim D. Brucker, Jacques Julliand, editors, Tests and Proofs - 6th International Conference, TAP 2012, Prague, Czech Republic, May 31 - June 1, 2012. Proceedings. Volume 7305 of Lecture Notes in Computer Science, pages 163-168, Springer, 2012. [doi]

Authors

Nadia Creignou

This author has not been identified. Look up 'Nadia Creignou' in Google

Uwe Egly

This author has not been identified. Look up 'Uwe Egly' in Google

Martina Seidl

This author has not been identified. It may be one of the following persons: Look up 'Martina Seidl' in Google
runs on