Stefan Andrei, Wei-Ngan Chin. Incremental Satisfiability Counting for Real-Time Systems. In 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada. pages 482-489, IEEE Computer Society, 2004. [doi]
Abstract is missing.