Login / Signup

Flexible SAT-based framework for incremental bounded upgrade checking.

Grigory FedyukovichOndrej SeryNatasha 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