Mining Backbone Literals in Incremental SAT - A New Kind of Incremental Data.
Alexander IvriiVadim RyvchinOfer StrichmanPublished in: SAT (2015)
Keyphrases
- knowledge discovery
- data sets
- data analysis
- data collection
- database
- training data
- data processing
- data sources
- data mining techniques
- data mining methods
- synthetic data
- xml documents
- high quality
- probability distribution
- data structure
- social networks
- spatial data
- data mining algorithms
- raw data
- data mining
- interesting patterns
- hidden knowledge
- pattern mining
- original data