Bérczi, Kristóf and Boros, Endre and Čepek, Ondřej and Elbassioni, Khaled and Kučera, Petr (2021) Generating clause sequences of a CNF formula. THEORETICAL COMPUTER SCIENCE, 856. pp. 68-74. ISSN 0304-3975
|
Text
2002.06727.pdf Download (166kB) | Preview |
Official URL: https://doi.org/10.1016/j.tcs.2020.12.021
| Item Type: | Article |
|---|---|
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika > QA75 Electronic computers. Computer science / számítástechnika, számítógéptudomány |
| SWORD Depositor: | MTMT SWORD |
| Depositing User: | MTMT SWORD |
| Date Deposited: | 16 Jan 2023 12:20 |
| Last Modified: | 16 Jan 2023 12:20 |
| URI: | http://real.mtak.hu/id/eprint/156589 |
Actions (login required)
 |
Edit Item |
