Assertion: algorithm | /r/HasProperty | modeled after deductive methods
Facets:
Source sentences:
text: The disadvantage of this method is that the solving time may be slow compared to algorithms modeled after deductive methods.