H. E. Dixon

Identifiers

• name variant H. E. Dixon 0.60 · backfill

Papers (3)

1. Generalizing Boolean Satisfiability III: Implementation cs.AI · 2011 · author #1
2. Generalizing Boolean Satisfiability II: Theory cs.AI · 2011 · author #1
3. Generalizing Boolean Satisfiability I: Background and Survey of Existing Work cs.AI · 2011 · author #1

Mentions

• 1109.2142 #1 · backfill · confidence 0.70 H. E. Dixon
• 1109.2134 #1 · backfill · confidence 0.70 H. E. Dixon
• 1107.0040 #1 · backfill · confidence 0.70 H. E. Dixon

Frequent Coauthors

• A. J. Parkes 3 shared papers
• M. L. Ginsberg 3 shared papers
• E. M. Luks 2 shared papers
• D. Hofer 1 shared papers