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]
@inproceedings{AndreiC04,
title = {Incremental Satisfiability Counting for Real-Time Systems},
author = {Stefan Andrei and Wei-Ngan Chin},
year = {2004},
url = {http://csdl.computer.org/comp/proceedings/rtas/2004/2148/00/21480482abs.htm},
tags = {incremental},
researchr = {https://researchr.org/publication/AndreiC04},
cites = {0},
citedby = {0},
pages = {482-489},
booktitle = {10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS 2004), 25-28 May 2004, Toronto, Canada},
publisher = {IEEE Computer Society},
isbn = {0-7695-2148-7},
}