Exploiting structure in symmetry detection for CNF.
| Autor: | Darga, P.T., Liffiton, M.H., Sakallah, K.A., Markov, I.L. |
|---|---|
| Zdroj: | Proceedings 41st Design Automation Conference, 2004; 2004, p530-534, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Darga, P.T., Liffiton, M.H., Sakallah, K.A., Markov, I.L. |
|---|---|
| Zdroj: | Proceedings 41st Design Automation Conference, 2004; 2004, p530-534, 5p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|