[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - SAT-solving in practice
Claessen, Koen, Een, Niklas, Sheeran, Mary, Sorensson, NiklasYear:
2008
Language:
english
DOI:
10.1109/wodes.2008.4605923
File:
PDF, 169 KB
english, 2008