ShatterPB: symmetry-breaking for pseudo-boolean formulas.
| Autor: | Aloulb, F.A., Ramani, A., Markov, I.L., Sakallah, K.A. |
|---|---|
| Zdroj: | ASP-DAC 2004: Asia & South Pacific Design Automation Conference 2004 (IEEE Cat. No.04EX753); 2004, p884-887, 4p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|