Login / Signup
Flexible SAT-based framework for incremental bounded upgrade checking.
Grigory Fedyukovich
Ondrej Sery
Natasha Sharygina
Published in:
Int. J. Softw. Tools Technol. Transf. (2017)
Keyphrases
</>
data sets
feature selection
expert systems
lightweight
main contribution
conceptual framework
databases
neural network
artificial intelligence
website
image segmentation
data driven
np complete
life cycle