Bérczi, Kristóf and Boros, Endre and Cepek, Ondrej and Elbassioni, Khaled and Kucera, Petr and Makino, Kazuhisa (2021) Generating clause sequences of a CNF formula. THEORETICAL COMPUTER SCIENCE, 856 (8). pp. 68-74. ISSN 0304-3975
|
Text
1-s2.0-S0304397520307246-main.pdf - Published Version Download (311kB) | Preview |
|
|
Text
2002.06727.pdf - Draft Version Download (166kB) | Preview |
Official URL: https://doi.org/10.1016/j.tcs.2020.12.021
| Item Type: | Article |
|---|---|
| Additional Information: | arxiv:2002.06727 |
| Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
| Depositing User: | Kristóf Bérczi |
| Date Deposited: | 13 Sep 2020 04:35 |
| Last Modified: | 31 Dec 2021 00:16 |
| URI: | http://real.mtak.hu/id/eprint/113032 |
Actions (login required)
 |
Edit Item |
