Practical applications of Boolean Satisfiability
収録刊行物
-
- Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08)
-
Proceedings of 9th International Workshop on Discrete Event Systems (WODES'08) 74-80, 2008