constraint satisfaction

基本解釋

Constraint Programming and Constraint satisfaction problem is new research domain in AI developed in last thirty years.
約束編程與約束滿足問題是近三十年來在人工智能領(lǐng)域發(fā)展起來的一個(gè)研究方向。
Constraint satisfaction problems are a large category of complex problems in real world applications, noted for various constraints.
約束可滿足性問題是一大類常出現(xiàn)于現(xiàn)實(shí)應(yīng)用中的復(fù)雜問題，因其繁多的約束條件而出名。
Constraint modification is the important part of imaging scheduling of earth observing satellite, it solves the problem of constraint satisfaction and optimization of the imaging scheduling.
約束修正是衛(wèi)星成像調(diào)度的重要組成部分，負(fù)責(zé)處理成像調(diào)度方案的約束滿足與優(yōu)化的問題。

約束可滿足
SAT problem is the set of satisfiable boolean formulas,which can be widely used in such fields as symbolic logic,artificial intelligence,constraint satisfaction problem,design and detection of VLSI integrate circuit,theories of computer science,computer vision,proof of machine theory,robot program,and machine learning.
SAT問題是指可滿足布爾表達(dá)式的集合，它在數(shù)理邏輯、人工智能、約束可滿足性問題、VLSI集成電路設(shè)計(jì)與檢測(cè)、計(jì)算機(jī)科學(xué)理論、計(jì)算機(jī)視覺、機(jī)器定理證明、機(jī)器人規(guī)劃、機(jī)器學(xué)習(xí)等領(lǐng)域具有廣闊的應(yīng)用背景。
限制求解
約束滿足

約束滿足
The replacement parameters, reasoning rules, constraint satisfaction solving and checking parameters were included in the process of whole modification.
事例修改過程包括參數(shù)替換、規(guī)則推理基于約束滿足求解和參數(shù)檢查這些步驟。
哲學(xué)
限制滿足