c/SAT solvers

Information
lexicalization	eng: SAT solvers
subclass of	(noun) a thinker who focuses on the problem as stated and tries to synthesize information and knowledge to achieve a solution problem solver, solver, convergent thinker
has instance	e/GRASP (SAT solver)
has instance	e/Satz (SAT solver)