Satisfiability Modulo Heap-Based Programs.
Quang Loc LeJun SunWei-Ngan ChinPublished in: CAV (1) (2016)
Keyphrases
- data structure
- satisfiability problem
- propositional logic
- computational complexity
- automatic programming
- phase transition
- neural network
- artificial intelligence
- provably correct
- search space
- intermediate level
- special case
- terminological reasoning
- sat solving
- np complete
- database
- database systems
- information systems
- real time