Clique-free t-matchings in degree-bounded graphs | Synapse