Author:Peter J. Stuckey

Publications
Compact Partial Symmetry Breaking for Graph Search Problems Michael Codish, Mikoláš Janota and Peter J. Stuckey In:Proceedings of the 26th Conference on Logic for Programming, Artificial Intelligence, and Reasoning