CNF Encodings of Symmetric Functions.
| Autor: | Emdin, Gregory1 (AUTHOR) egd03072000@gmail.com, Kulikov, Alexander S.2 (AUTHOR), Mihajlin, Ivan2 (AUTHOR), Slezkin, Nikita2 (AUTHOR) |
|---|---|
| Zdroj: | Theory of Computing Systems. Oct2024, Vol. 68 Issue 5, p1291-1311. 21p. |
| Databáze: | Business Source Ultimate |
| Externí odkaz: |
|
Full text from SpringerLink