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.

Integration of orthogonal QBF solving techniques

Sven Reimer, Florian Pigorsch, Christoph Scholl, Bernd Becker. Integration of orthogonal QBF solving techniques. In Design, Automation and Test in Europe, DATE 2011, Grenoble, France, March 14-18, 2011. pages 149-154, IEEE, 2011. [doi]

Abstract

Abstract is missing.

runs on