Using SMT Solvers to Validate Models for AI Problems.
Andrei ArusoaieIonut PistolPublished in: CoRR (2019)
Keyphrases
- areas of artificial intelligence
- knowledge representation
- artificial intelligence
- ai systems
- probabilistic model
- mathematical programming
- real world
- evolutionary algorithm
- case based reasoning
- optimization problems
- model selection
- parameter estimation
- combinatorial optimization
- search strategies
- numerical methods
- analytical methods