A model of random industrial SAT
| Autor: | Barak-Pelleg, D., Berend, D., Saunders, J.C. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2 April 2022 910:91-112 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
| Autor: | Barak-Pelleg, D., Berend, D., Saunders, J.C. |
|---|---|
| Zdroj: | In Theoretical Computer Science 2 April 2022 910:91-112 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect