Listing items by Author "Szeider, Stefan"
One item found:
| Format | Date | Title | Author |
|---|---|---|---|
| Format | Date | Title | Author |
|
2024 September 3 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
One item found:
| Format | Date | Title | Author |
|---|---|---|---|
| Format | Date | Title | Author |
|
|
2024 September 3 | Computing small Rainbow Cycle Numbers with SAT modulo Symmetries | Kirchweger, Markus ; Szeider, Stefan |
