Steven David Prestwich
Identifiers
- name variant Steven David Prestwich 0.50 · backfill
Papers (1)
- Generating Difficult SAT Instances by Preventing Triangles cs.AI · 2019 · author #3
Mentions
No mention provenance yet.
Frequent Coauthors
- Barry O'Sullivan 1 shared papers
- Guillaume Escamocher 1 shared papers