Travelled to:
1 × United Kingdom
Collaborated with:
V.Rathi E.Aurell M.Skoglund
Talks about:
threshold (1) regular (1) random (1) bound (1) sat (1)
Person: Lars K. Rasmussen
DBLP: Rasmussen:Lars_K=
Contributed to:
Wrote 1 papers:
- SAT-2010-RathiARS #bound #random #satisfiability
- Bounds on Threshold of Regular Random k-SAT (VR, EA, LKR, MS), pp. 264–277.