Login / Signup

Cell Morphing: From Array Programs to Array-Free Horn Clauses.

David MonniauxLaure Gonnord
Published in: SAS (2016)
Keyphrases
  • horn clauses
  • conceptual clustering
  • domain knowledge
  • programmable logic
  • artificial intelligence
  • focal plane