Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Efektivní heuristika pro SAT založená na znalosti komponent souvislosti grafu problému

Popis výsledku v původním jazyce

Č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í.

Název v anglickém jazyce

An Efficient Heuristic for SAT Exploiting Connected Components of the Problem

Popis výsledku anglicky

This paper describes a new variable ordering heuristic for a Boolean satisfiability problem (SAT) solver based on search by the method DPLL. The basic idea of the heuristic is to derive a dynamic graph from the state of the problem during search.

Druh

D - Stať ve sborníku

CEP obor

BA - Obecná matematika

OECD FORD obor

—

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)

Rok uplatnění

2009

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ů

Název statě ve sborníku

Sborník konference Znalosti 2009

ISBN

978-80-227-3015-0

ISSN

—

e-ISSN

—

Počet stran výsledku

12

Strana od-do

—

Název nakladatele

Slovenská technická univerzita v Bratislavě

Místo vydání

Bratislava

Místo konání akce

Bratislava

Datum konání akce

1. 1. 2009

Typ akce podle státní příslušnosti

CST - Celostátní akce

Kód UT WoS článku

—