BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Kroc:Lukas

Contributed to:

SAT 20102010
SAC 20092009
SAT 20092009
SAC 20052005

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

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.