Proceedings of the Workshop on Second-Order Quantifier Elimination and Related Topics (SOQE 2017), Dresden, Germany, December 6-8, 2017.
Published in: SOQE (2017)
Keyphrases
- related topics
- dagstuhl castle
- quantifier elimination
- computer science
- selected papers
- lecture notes
- international workshop
- lecture notes in artificial intelligence
- acm sigkdd
- constraint propagation
- presburger arithmetic
- functional programming
- international conference
- constraint databases
- cardinality constraints
- first order logic
- knowledge discovery and data mining
- cyber security and information intelligence
- invited talk
- artificial intelligence
- database
- knowledge representation
- machine learning
- databases