`Travelled to:`

1 × Austria

1 × Japan

`Collaborated with:`

G.Istrate J.Aisenberg M.L.Bonet S.Buss

`Talks about:`

lovász (2) kneser (2) proof (2) principl (1) theorem (1) complex (1) short (1) color (1)

## Person: Adrian Craciun

### DBLP: Craciun:Adrian

### Contributed to:

### Wrote 2 papers:

- ICALP-v2-2015-AisenbergBBCI #principle #proving
- Short Proofs of the Kneser-Lovász Coloring Principle (JA, MLB, SB, AC, GI), pp. 44–55.
- SAT-2014-IstrateC #complexity #proving #theorem
- Proof Complexity and the Kneser-Lovász Theorem (GI, AC), pp. 138–153.