Login / Signup

Clause Sharing and Partitioning for Cloud-Based SMT Solving.

Matteo MarescottiAntti E. J. HyvärinenNatasha Sharygina
Published in: ATVA (2016)
Keyphrases
  • search space
  • combinatorial optimization
  • logic programming
  • cloud computing
  • partitioning algorithm