  |
Items where Author is "Elbassioni, Khaled"
Group by: Item Type | No Grouping Jump to: Article Number of items: 2. ArticleBé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 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 |
