Login / Signup

Solving breakthrough with Race Patterns and Job-Level Proof Number Search.

Abdallah SaffidineNicolas JouandeauTristan Cazenave
Published in: ACG (2011)
Keyphrases
  • search algorithm
  • computational complexity
  • small number
  • maximum number
  • database
  • search space
  • search problems
  • branch and bound search