A. J. Parkes
Identifiers
- name variant A. J. Parkes 0.60 · backfill
Papers (4)
- Generalizing Boolean Satisfiability III: Implementation cs.AI · 2011 · author #5
- Generalizing Boolean Satisfiability II: Theory cs.AI · 2011 · author #4
- Generalizing Boolean Satisfiability I: Background and Survey of Existing Work cs.AI · 2011 · author #3
- Twisting the N=2 String hep-th · 1993 · author #3
Mentions
Frequent Coauthors
- H. E. Dixon 3 shared papers
- M. L. Ginsberg 3 shared papers
- E. M. Luks 2 shared papers
- D. Hofer 1 shared papers
- O. Lechtenfeld 1 shared papers
- S. V. Ketov 1 shared papers