Incremental Satisfiability Counting for Real-Time Systems.
Stefan AndreiWei-Ngan ChinPublished in: IEEE Real-Time and Embedded Technology and Applications Symposium (2004)
Keyphrases
- real time systems
- real time
- distributed systems
- satisfiability problem
- embedded systems
- mission critical
- np complete
- real time database systems
- propositional logic
- timing constraints
- artificial intelligence
- real time embedded
- embedded real time systems
- anytime algorithms
- architectural model
- computational intelligence
- satisfiability testing
- computational complexity
- database
- object oriented programming language