TY  - RPRT
TI  - Simple Algorithm Portfolio for SAT
AU  - Mladen Nikolic
AU  - Filip Maric
AU  - Predrag Janicic
PY  - 2011
UR  - https://arxiv.org/abs/1107.0268
ID  - 1107.0268
ER  -