Login / Signup

Symbolic Analysis by Using Folding Narrowing with Irreducibility and SMT Constraints.

Santiago EscobarRaúl López-RuedaJulia Sapiña
Published in: FTSCS (2023)
Keyphrases
  • statistical analysis
  • quantitative analysis
  • relational databases
  • image analysis
  • constraint satisfaction
  • data sets
  • neural network
  • genetic algorithm
  • social networks
  • information systems
  • artificial neural networks