Assertion: search engine's algorithm | /r/HasProperty | a variety of heuristics
Facets:
Source sentences:
text: Algorithms for these problems include the basic brute-force search (also called "naïve" or "uninformed" search), and a variety of heuristics that try to exploit partial knowledge about the structure of this space, such as linear relaxation, constraint generation, and constraint propagation.