"kombinatorick\u00E9 explozi"@cs .