SAT-Versus SMT-Based BMC for TWIS and the Existential Fragment of WCTL with Knowledge.
Agnieszka M. ZbrzeznyPublished in: KES-AMSTA (2017)
Keyphrases
- neural network
- domain knowledge
- knowledge base
- knowledge management
- search algorithm
- knowledge representation
- knowledge acquisition
- knowledge extraction
- expert systems
- prior knowledge
- knowledge discovery
- higher level
- knowledge sharing
- modulo theories
- stochastic local search
- sat solvers
- satisfiability problem
- phase transition
- learning systems
- artificial intelligence
- machine learning