O. Ohrimenko
发表
Santiago Zanella Béguelin,
Marc Brockschmidt,
Boris Köpf,
2019,
CCS.
Peter J. Stuckey,
Michael Codish,
Olga Ohrimenko,
2009,
Constraints.