BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Germany
1 × Israel
1 × Italy
1 × Portugal
1 × United Kingdom
2 × USA
Collaborated with:
K.Lau I.Lynce A.J.Kusalik
Talks about:
search (3) logic (3) local (3) synthesi (2) procedur (2) variabl (2) program (2) recurs (2) unsatisfi (1) parallel (1)

Person: Steven David Prestwich

DBLP DBLP: Prestwich:Steven_David

Contributed to:

SAT 20072007
SAT 20062006
SAT 20052005
SAT 20032003
JICSLP 19961996
PEPM 19931993
LOPSTR 19921992
ILPS 19911991
ICLP 19901990

Wrote 9 papers:

SAT-2007-Prestwich #dependence
Variable Dependency in Local Search: Prevention Is Better Than Cure (SDP), pp. 107–120.
SAT-2006-PrestwichL #satisfiability
Local Search for Unsatisfiability (SDP, IL), pp. 283–296.
SAT-2005-Prestwich #random
Random Walk with Continuously Smoothed Variable Weights (SDP), pp. 203–215.
SAT-2003-Prestwich #problem
Local Search on SAT-encoded Colouring Problems (SDP), pp. 105–119.
JICSLP-1996-KusalikP #execution #logic programming #parallel #performance #visualisation
Visualizing Parallel Logic Program Execution for Performance Tuning (AJK, SDP), pp. 498–512.
PEPM-1993-Prestwich #deduction #online #scalability #source code
Online Partial Deduction of Large Programs (SDP), pp. 111–118.
LOPSTR-1992-Prestwich #prolog
An Unfold Rule for Full Prolog (SDP), pp. 199–213.
ISLP-1991-LauP #product line #recursion #sorting #synthesis
Synthesis of a Family of Recursive Sorting Procedures (KKL, SDP), pp. 641–658.
CLP-1990-LauP90 #first-order #logic #recursion #specification #synthesis #top-down
Top-down Synthesis of Recursive Logic Procedures from First-order Logic Specifications (KKL, SDP), pp. 667–684.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.