Login / Signup

SAT-Based Arithmetic Support for Alloy.

César Cornejo
Published in: ASE (2020)
Keyphrases
  • heuristic search
  • multi agent
  • arithmetic operations
  • data sets
  • machine learning
  • metadata
  • knowledge management
  • domain independent