Login / Signup
Constraint-based BMC: a backjumping strategy.
Hélène Collavizza
Nguyen Le Vinh
Olivier Ponsini
Michel Rueher
Antoine Rollet
Published in:
Int. J. Softw. Tools Technol. Transf. (2014)
Keyphrases
</>
real time
genetic algorithm
information systems
constraint satisfaction
np hard
special case
artificial neural networks
three dimensional
image segmentation
decision trees
image processing
social networks
artificial intelligence
data mining
real world
neural network
databases
data sets