Login / Signup

Efficient and Off-The-Shelf Solver: jArgSemSAT.

Federico CeruttiMauro VallatiMassimiliano Giacomin
Published in: COMMA (2016)
Keyphrases
  • special case
  • cost effective
  • neural network
  • multiscale
  • digital libraries
  • data model