Proceedings of the 2nd International Workshop on Satisfiability Checking and Symbolic Computation co-located with the 42nd International Symposium on Symbolic and Algebraic Computation (ISSAC 2017), Kaiserslautern, Germany, July 29, 2017.
Published in: SC²@ISSAC (2017)
Keyphrases
- international symposium
- international workshop
- lecture notes
- revised selected papers
- computer science
- revised papers
- lecture notes in artificial intelligence
- domain driven data mining
- book constitutes the refereed proceedings
- computational intelligence
- selected papers
- ambient intelligence
- pacific rim
- acm sigkdd
- machine learning
- carefully reviewed and selected from submissions
- databases
- researchers and practitioners
- soft computing
- intelligent systems
- data warehouse
- mobile devices
- artificial intelligence