Listing items by Author "Kirchweger, Markus"
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 |
