Travelled to:
1 × USA
1 × United Kingdom
Collaborated with:
∅ A.A.Bulatov
Talks about:
search (2) theoret (1) analysi (1) effici (1) local (1) gsat (1)
Person: Evgeny S. Skvortsov
DBLP: Skvortsov:Evgeny_S=
Contributed to:
Wrote 2 papers:
- SAT-2009-Skvortsov #analysis
- A Theoretical Analysis of Search in GSAT (ESS), pp. 265–275.
- SAT-2006-BulatovS #performance
- Efficiency of Local Search (AAB, ESS), pp. 297–310.