Steven David Prestwich

Publication Activity (10 Years)

Years Active: 1992-2020
Publications (10 Years): 2

Top Topics

Stochastic Local Search

Knowledge Compilation

Boolean Satisfiability

Top Venues

ACM J. Exp. Algorithmics

Publications

Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich
Generating Difficult CNF Instances in Unexplored Constrainedness Regions. ACM J. Exp. Algorithmics 25 (2020)
Guillaume Escamocher, Barry O'Sullivan, Steven David Prestwich
Generating Difficult SAT Instances by Preventing Triangles. CoRR (2019)
Jesper Larsson Träff, Steven David Prestwich
Meta-Programming for Reordering Literals in Deductive Databases. META (1992)