MCP: Capturing Big Data by Satisfiability (Tool Description).
Miki HermannGernot SalzerPublished in: SAT (2021)
Keyphrases
- big data
- cloud computing
- data management
- big data analytics
- data processing
- data intensive
- data analysis
- social media
- massive data
- high volume
- business intelligence
- unstructured data
- analytic tools
- data science
- satisfiability problem
- data visualization
- knowledge discovery
- data warehousing
- information processing
- massive datasets
- vast amounts of data
- predictive modeling
- data stores