An Adaptation of Path Consistency for Boolean Satisfiability
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F10%3A10053432" target="_blank" >RIV/00216208:11320/10:10053432 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
An Adaptation of Path Consistency for Boolean Satisfiability
Popis výsledku v původním jazyce
The concept of path-consistency known from the constraint programming paradigm (CP) is adapted for SAT. The adaptation consists in increasing inference strength of the consistency on the literal encoding model of SAT.
Název v anglickém jazyce
An Adaptation of Path Consistency for Boolean Satisfiability
Popis výsledku anglicky
The concept of path-consistency known from the constraint programming paradigm (CP) is adapted for SAT. The adaptation consists in increasing inference strength of the consistency on the literal encoding model of SAT.
Klasifikace
Druh
O - Ostatní výsledky
CEP obor
JD - Využití počítačů, robotika a její aplikace
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
Rok uplatnění
2010
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů