D. Hofer

Identifiers

• name variant D. Hofer 0.60 · backfill

Papers (1)

1. Generalizing Boolean Satisfiability III: Implementation cs.AI · 2011 · author #3

Mentions

• 1109.2142 #3 · backfill · confidence 0.70 D. Hofer

Frequent Coauthors

• A. J. Parkes 1 shared papers
• E. M. Luks 1 shared papers
• H. E. Dixon 1 shared papers
• M. L. Ginsberg 1 shared papers