Doug Strain

Identifiers

No identifiers captured yet.

Papers (1)

1. Generating Hard Satisfiable Formulas by Hiding Solutions Deceptively cs.AI · 2005 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Cristopher Moore 1 shared papers
• Haixia Jia 1 shared papers