Taking Satisfiability to the Next Level with Z3 - (Abstract).
Nikolaj BjørnerPublished in: IJCAR (2012)
Keyphrases
- higher level
- neural network
- data mining
- levels of abstraction
- search engine
- learning algorithm
- propositional logic
- np complete
- phase transition
- knowledge representation
- decision procedures
- lower level
- satisfiability problem
- orders of magnitude
- objective function
- high level
- information systems
- machine learning
- real world