On the Propagation Strength of SAT Encodings for Qualitative Temporal Reasoning.
| Autor: | Westphal, Matthias, Hue, Julien, Woelfl, Stefan |
|---|---|
| Zdroj: | 2013 IEEE 25th International Conference on Tools with Artificial Intelligence; 2013, p46-54, 9p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|