Tools and algorithms for the construction and analysis of systems: a special issue for TACAS 2020.

Armin Biere David Parker

Published in: Int. J. Softw. Tools Technol. Transf. (2022)

Keyphrases

special issue
international journal
optimization problems
ecml pkdd
commercial products

data analysis
computer vision algorithms
learning algorithm
analysis tool
theoretical analysis

significant improvement
special section
software packages
building blocks
data mining

computationally efficient
statistical analysis
expert systems
computational complexity
machine learning