「literals」の共起表現一覧(1語右で並び替え)
該当件数 : 25件
tics is based on the resolution rule to solve | literals and narrowing to evaluate functional expressi |
, where each clause consists of exactly three | literals, and each literal is either a variable or its |
ructions to be applied on selected resources, | literals and properties. |
ates relevant rules on data model (resources, | literals and properties) while walking it; that is, if |
the clauses are restricted to have at most 2 | literals, as in 2-satisfiability, we get the MAX-2SAT |
Pure | literals can always be assigned in a way that makes al |
Additionally, | literals can and should be externalized into resource |
different policies for choosing the branching | literals; defining new data structures to make the alg |
el (this partial model may also contain other | literals, depending on the application). |
ur squares in a rectangle or square loose two | literals, eight squares in a rectangle loose 3 literal |
Literals for characters and strings are usually surrou | |
In fact, these | literals form the basis of the JSON data format. |
C allows juxtaposition for string | literals, however, for strings stored as character arr |
re general (more reduced - meaning with fewer | literals) implicant. |
ter support for IPv6, and handles hexadecimal | literals in the IPv6 address. |
l one under the assumption of validity of the | literals in the partial model. |
lso incorporated factoring, which unifies two | literals in the same clause, before or during the appl |
format which can contain .NET code and string | literals in it, this is parsed by the T4 command line |
A Horn clause containing only negative | literals is sometimes called a goal clause or query cl |
here the size of each clause is the number of | literals it contains. |
mming language's control characters of string | literals, like printf("Hello, world.¥n");. |
e, unit propagation is performed based on the | literals of the partial model, and unit clauses are re |
whose bodies are satisfiable constraints and | literals that can in turn be proved using other clause |
Excessive use of | literals: these should be coded as named constants, to |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |
こんにちは ゲスト さん
ログイン |
Weblio会員(無料)になると 検索履歴を保存できる! 語彙力診断の実施回数増加! |