[  07 | 06 | 06 ]

2007

T. Jussila, A. Biere, C. Sinz, D. Kröning, C. Wintersteiger. A First Step Towards a Unified Proof Checker for QBF In Proc. 10th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'07), Lecture Notes in Computer Science (LNCS) vol. 4501, Springer 2007.

2006

T. Jussila, A. Biere. Compressing BMC Encodings with QBF. In Proc. 4th Intl. Workshop on Bounded Model Checking (BMC'06), to be published in Electronic Notes in Theoretical Computer Science (ENTCS), Seattle, USA, August 2006.

T. Jussila, C. Sinz, A. Biere. Extended Resolution Proofs for Symbolic SAT Solving with Quantification. In Proc. 9th Intl. Conf. on Theory and Applications of Satisfiability Testing (SAT'06), Lecture Notes in Computer Science (LNCS), vol. 4121, Springer 2006.

2006

T. Jussila, J. Dubrovin, T. Junttila, T. Latvala, I. Porres Model Checking Dynamic and Hierarchical UML State Machines In Proc. 3rd International Workshop on Model Development, Validation and Verification (MoDeV2a) pages, 94-110, Genova, Italy, October 2006.