H. E. Dixon
Identifiers
- name variant H. E. Dixon 0.60 · backfill
Papers (3)
- Generalizing Boolean Satisfiability III: Implementation cs.AI · 2011 · author #1
- Generalizing Boolean Satisfiability II: Theory cs.AI · 2011 · author #1
- Generalizing Boolean Satisfiability I: Background and Survey of Existing Work cs.AI · 2011 · author #1
Mentions
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