Expressing Symmetry Breaking in DRAT Proofs.
| Autor: | Heule, Marijn J. H., Hunt Jr., Warren A., Wetzler, Nathan |
|---|---|
| Zdroj: | Automated Deduction - CADE-25; 2015, p591-606, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|
| Autor: | Heule, Marijn J. H., Hunt Jr., Warren A., Wetzler, Nathan |
|---|---|
| Zdroj: | Automated Deduction - CADE-25; 2015, p591-606, 16p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|