Home People Papers Tool Description

Papers 1. S. Andrei, “Counting for satisfiability by inverting resolution”, Artificial Intelligence Review, 2004 2. S. Andrei and W.-N. Chin, “Incremental satisfiability counting for real-time systems”, in Proceedings of 10th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'04), Toronto, Canada, May 25-28, 2004 3. S. Andrei, G. Manolache and R. Yap, “Approximate Satisfiability Counting”, submitted 4. S. Andrei, W.-N. Chin, A. M. K. Cheng, and M. Lupu, “Systematic Debugging of Real-Rime Systems based on Incremental Satisfiability Counting”, Proceedings of the 11th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'05), March 7 - 10, 2005, San Francisco, California