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: Prestwich:Steven_David
Contributed to:
2007200620052003
1996
1993
199219911990Wrote 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.