partial-order

基本解释

The authors updated clause searching method to first-order by partial instantiation method.
结合部分实例化方法将子句搜索方法提升至一阶。
A condition of a one-order quasilinear partial differential equation of a traffic model forming unique shock wave is given end proved.
本文讨论了一交通模型的一阶拟线性偏微分方程激波产生唯一性的条件并给了严格的证明。
The two algorithms for concept learning efficiently complete the whole search through the hypothesis space based on a very useful structure: the general-to-specific partial order.
对于这两种算法来说，都是利用一般到特殊序的偏序结构来完成整个搜索过程。