Boosting Sequential Consistency Checking Using Saturation.
Rachid ZennouMohamed Faouzi AtigRanadeep BiswasAhmed BouajjaniConstantin EneaMohammed ErradiPublished in: ATVA (2020)
Keyphrases
- consistency checking
- stochastic search
- query answering
- temporal reasoning
- temporal constraints
- learning algorithm
- ensemble learning
- ensemble methods
- feature selection
- path consistency
- computer vision
- dynamic environments
- qualitative and quantitative
- image classification
- multi class
- decision making
- arc consistency
- database