Rotation Based MSS/MCS Enumeration

Publication
In 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning
Jaroslav Bendík
Jaroslav Bendík
Post-doctoral researcher