Login / Signup

Embarrassingly Parallel Search.

Jean-Charles RéginMohamed RezguiArnaud Malapert
Published in: CP (2013)
Keyphrases
  • parallel search
  • theorem proving
  • np complete