[IEEE 2009 21st IEEE International Conference on Tools with Artificial Intelligence (ICTAI) - Newark, New Jersey, USA (2009.11.2-2009.11.4)] 2009 21st IEEE International Conference on Tools with Artificial Intelligence - Detecting Boolean Functions for Proving Unsatisfiability
Ostrowski, Richard, Paris, LionelYear:
2009
Language:
english
DOI:
10.1109/ictai.2009.85
File:
PDF, 247 KB
english, 2009