Temporal induction by incremental SAT solving
収録刊行物
-
- Electronic Notes in Theoretical Computer Science
-
Electronic Notes in Theoretical Computer Science 89 (4), 543-560, 2003