Travelled to:2 × USA
2 × United Kingdom
Collaborated with:A.Sabharwal B.Selman C.L.Barrett S.Eidenbenz M.V.Marathe J.P.Smith
Talks about:search (2) local (2) path (2) probabilist (1) determinist (1) distribut (1) strategi (1) scenario (1) protocol (1) satisfi (1)
Person: Lukas Kroc
DBLP: Kroc:Lukas
Contributed to:
2010
200920092005Wrote 4 papers:
- SAT-2010-KrocSS #empirical #runtime
- An Empirical Study of Optimal Noise and Runtime Distributions in Local Search (LK, AS, BS), pp. 346–351.
- SAC-2009-KrocSS #heuristic #message passing #satisfiability
- Message-passing and local heuristics as decimation strategies for satisfiability (LK, AS, BS), pp. 1408–1414.
- SAT-2009-KrocSS #satisfiability
- Relaxed DPLL Search for MaxSAT (LK, AS, BS), pp. 447–452.
- SAC-2005-BarrettEKMS #ad hoc #multi #network #probability #protocol
- Probabilistic multi-path vs. deterministic single-path protocols for dynamic ad-hoc network scenarios (CLB, SE, LK, MVM, JPS), pp. 1166–1173.