![](/img/cover-not-exists.png)
[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 - A Tree Decomposition Based Approach to Solve Structured SAT Instances
Habet, Djamal, Paris, Lionel, Terrioux, CyrilYear:
2009
Language:
english
DOI:
10.1109/ICTAI.2009.76
File:
PDF, 234 KB
english, 2009