An Efficient Heuristic for SAT Exploiting Connected Components of the Problem

Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F09%3A00206576" target="_blank" >RIV/00216208:11320/09:00206576 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—

Result language
čeština
Original language name
Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému
Original language description
Článek pojednává o nové heuristice pro určování pořadí proměnných při řešení problémů booleovské splnitelnosti (SAT problémy) prohledáváním metodou DPLL. Základní ideou navržené heuristiky je použití dynamického grafu odvozeného ze stavu booleovské formule definující problém v průběhu řešení.
Czech name
Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému
Czech description
Článek pojednává o nové heuristice pro určování pořadí proměnných při řešení problémů booleovské splnitelnosti (SAT problémy) prohledáváním metodou DPLL. Základní ideou navržené heuristiky je použití dynamického grafu odvozeného ze stavu booleovské formule definující problém v průběhu řešení.

Project
Result was created during the realization of more than one project. More information in the Projects tab.
Continuities
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)

Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Similar results(10)