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:
20092006Wrote 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.