25-01-2018 дата публикации
Номер: US20180024967A1
Принадлежит:
A method includes obtaining a plurality of clauses associated with a plurality of logical variables, each of the clauses consisting of a weight and a disjunction of one or more literals of the logical variables, detecting conditions associated with one or more inference rules, and simplifying the plurality of clauses on the basis of the detecting. 1. A computer-implemented method comprising:obtaining a plurality of clauses associated with a plurality of logical variables, each of the clauses in the plurality of clauses including a weight and a disjunction of one or more literals of the logical variables;{'img': [{'@id': 'CUSTOM-CHARACTER-00115', '@he': '3.22mm', '@wi': '2.12mm', '@file': 'US20180024967A1-20180125-P00001.TIF', '@alt': 'custom-character', '@img-content': 'character', '@img-format': 'tif'}, {'@id': 'CUSTOM-CHARACTER-00116', '@he': '3.22mm', '@wi': '2.12mm', '@file': 'US20180024967A1-20180125-P00001.TIF', '@alt': 'custom-character', '@img-content': 'character', '@img-format': 'tif'}, {'@id': 'CUSTOM-CHARACTER-00117', '@he': '3.22mm', '@wi': '2.12mm', '@file': 'US20180024967A1-20180125-P00001.TIF', '@alt': 'custom-character', '@img-content': 'character', '@img-format': 'tif'}, {'@id': 'CUSTOM-CHARACTER-00118', '@he': '3.22mm', '@wi': '2.12mm', '@file': 'US20180024967A1-20180125-P00001.TIF', '@alt': 'custom-character', '@img-content': 'character', '@img-format': 'tif'}], 'sub': 11', '12', '21', '22', '0', '11', '12', '21', '22', '11', '12', '0', '21', '22, 'o': [{'@ostyle': 'single', 'b'}, {'@ostyle': 'single', 'c'}], 'detecting (i) whether any clauses in the plurality of clauses other than a first clause (ab, w), a second clause (ā, w), a third clause (ac, w), a fourth clause (ā, w), and a fifth clause (a, w), where a is a first logical variable, b is a second logical variable, c is a third logical variable, and w, w, w, and ware weights, include a literal of the first logical variable a and a non-zero weight and, (ii) whether min(w,w)≧w+max(w, w); and ...
Подробнее