solver

n.

解决者；求解程序；

1. Her joy and intelligence make her a brilliant problem solver.
   用快乐和智慧她成为了一名才华横溢的问题解决者。
2. But the thing that makes all the difference today is presenting yourself as a problem solver.
   但在今天大不相同的是将你自己塑造成一位问题的解决者。

An Extensible SAT-solver
An Extensible SAT-solver
Z3: An Efficient SMT Solver
Z3: An Efficient SMT Solver
Chaff: Engineering an Efficient SAT Solver
Chaff: engineering an efficient SAT solver
LINCS: A linear constraint solver for molecular simulations
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
The Contract Net Protocol: High-Level Communication and Control in a Distributed Problem Solver
Data Envelopment Analysis: A Comprehensive Text with Models, Applications References, and DEA-Solver Software with Cdrom