Travelled to:1 × USA
1 × United Kingdom
Collaborated with:A.Sirotkin E.A.Hirsch
Talks about:restrict (1) competit (1) bayesian (1) resolut (1) falsiti (1) system (1) simul (1) proof (1) plane (1) degre (1)
Person: Sergey I. Nikolenko
DBLP: Nikolenko:Sergey_I=
Contributed to:
2011
2005Wrote 2 papers:
- ICML-2011-NikolenkoS #contest #rating
- A New Bayesian Rating System for Team Competitions (SIN, AS), pp. 601–608.
- SAT-2005-HirschN #proving #simulation #strict
- Simulating Cutting Plane Proofs with Restricted Degree of Falsity by Resolution (EAH, SIN), pp. 135–142.